3671 search results - page 550 / 735 » On Garbage and Program Logic |
140
click to vote
INTENV
2010
14 years 12 months ago
2010
We explore a coherent combination of two jointly implemented logic programming based systems, namely those of Evolution Prospection and Intention Recognition, to address a number o...
168
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
111
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
125
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
129
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
Software libraries rely increasingly on iterators to provide generic traversal of data structures. These iterators can be represented either as objects that maintain state or as p...