597 search results - page 8 / 120 » Semantics for Dynamic Logic Programming: A Principle-Based A... |
250
Voted
POPL
2009
ACM
16 years 3 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...
128
Voted
FOIKS
2004
Springer
15 years 8 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...
75
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
127
Voted
PPDP
2007
Springer
15 years 8 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....
149
Voted
TYPES
1995
Springer
15 years 6 months 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,...