4757 search results - page 585 / 952 » Monads for Functional Programming |
166
click to vote
IFL
2007
Springer
16 years 26 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
168
click to vote
LADS
2007
Springer
16 years 26 days ago
2007
Springer
Programming languages based on the BDI style of agent model are now common. Within these there appears to be some, limited, agreement on the core functionality of agents. However, ...
178
Voted
PPPJ
2006
ACM
16 years 21 days ago
2006
ACM
Currently there exist dozens of web controller frameworks that are incompatible, but at the same time have large portions of overlapping functionality that is implemented over and...
143
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...
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...