1776 search results - page 3 / 356 » Using a Logic Programming Language with Persistence and Cont... |
84
Voted
PADL
2004
Springer
15 years 3 months ago
2004
Springer
POS
1998
Springer
15 years 1 months ago
1998
Springer
The Object Management Group (OMG) have defined mechanisms to support the persistence of CORBA objects with both the now deprecated Persistent Object Service (POS) and the new Pers...
FLOPS
2010
Springer
15 years 4 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
POS
1998
Springer
15 years 1 months ago
1998
Springer
Concurrency is a central pillar of the Java programming language, is implicit in the transactional model of computation adopted by most persistent systems, and has been widely stu...
83
Voted
APLAS
2007
ACM
15 years 1 months 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...