597 search results - page 8 / 120 » Semantics for Dynamic Logic Programming: A Principle-Based A... |
POPL
2009
ACM
14 years 9 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
FOIKS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
PPDP
2007
Springer
14 years 2 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
TYPES
1995
Springer
14 years 3 days ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...