Sciweavers

6 search results - page 1 / 2
» plilp 1994
Sort
View
PLILP
1994
Springer
13 years 9 months ago
Abstracting Synchronization in Concurrent Constraint Programming
Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
PLILP
1994
Springer
13 years 8 months ago
Deriving Residual Reference Count Garbage Collectors
We present a strategy to derive an efficient reference count garbage collector for any applicative program by only modifying it on the source code level. The key to the approach is...
Wolfram Schulte
PLILP
1994
Springer
13 years 9 months ago
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
Philippe Codognet, Daniel Diaz
PLILP
1994
Springer
13 years 9 months ago
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
John Field, Frank Tip
PLILP
1994
Springer
13 years 9 months ago
Hand-Writing Program Generator Generators
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a part...
Lars Birkedal, Morten Welinder