16190 search results - page 207 / 3238 » Applicative programming with effects |
140
Voted
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Grid applications are fragile when changes to service implementations, non-functional properties or communication protocols take place. Moreover, developing Grid applicat...
128
Voted
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...
149
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Memory errors are a notorious source of security vulnerabilities that can lead to service interruptions, information leakage and unauthorized access. Because such errors are also ...
164
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
94
Voted
CC
2010
Springer
15 years 10 months ago
2010
Springer