3481 search results - page 51 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
CADE
2008
Springer
14 years 9 months ago
2008
Springer
CADE
1994
Springer
14 years 28 days ago
1994
Springer
POPL
1995
ACM
14 years 11 days ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
APLAS
2007
ACM
14 years 25 days ago
2007
ACM
Abstract. We study adjunct-elimination results for Context Logic applied to trees, following previous results by Lozes for Separation Logic and Ambient Logic. In fact, it is not po...
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...