3440 search results - page 220 / 688 » Logics For Context-Free Languages |
202
click to vote
PPDP
2007
Springer
16 years 1 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....
206
click to vote
ATAL
2005
Springer
16 years 21 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
178
click to vote
PPDP
2005
Springer
16 years 20 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
189
click to vote
LICS
2002
IEEE
16 years 2 days ago
2002
IEEE
Monadic query languages over trees currently receive considerable interest in the database community, as the problem of selecting nodes from a tree is the most basic and widesprea...
166
click to vote
ICLP
1990
Springer
15 years 11 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...