4835 search results - page 598 / 967 » Refactoring Functional Programs |
144
click to vote
ACSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
161
click to vote
HASKELL
2005
ACM
16 years 9 days ago
2005
ACM
Multi-core processors are coming, and we need ways to program them. The combination of purely-functional programming and explicit, monadic threads, communicating using transaction...
181
click to vote
PLDI
2005
ACM
16 years 9 days ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
211
click to vote
DRM
2005
Springer
16 years 8 days ago
2005
Springer
A software obfuscator is a program O to transform a source program P for protection against malicious reverse engineering. O should be correct (O(P) has same functionality with P)...
204
click to vote
EUROPAR
2005
Springer
16 years 8 days ago
2005
Springer
A style for programming problems from matrix algebra is developed with a familiar example and new tools, yielding high performance with a couple of surprising exceptions. The under...