3671 search results - page 43 / 735 » On Garbage and Program Logic |
129
click to vote
CASES
2009
ACM
15 years 1 months ago
2009
ACM
In this paper we address the issue of making a program reversible in terms of spatial complexity. Spatial complexity is the amount of memory/register locations required for perfor...
124
click to vote
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
138
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
105
click to vote
TPLP
2008
15 years 3 months ago
2008
This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming f...
128
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...