SLP 1997 | Sciweavers

28

SLP
1997

102views more SLP 1997»

Compositionality of Normal Open Logic Programs

14 years 6 days ago

Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...

Sofie Verbaeten, Marc Denecker, Danny De Schreye

claim paper

Read More »

21

click to vote

SLP
1997

63views more SLP 1997»

Extending a Concurrent Constraint Language by Propagators

14 years 6 days ago

Download www.coli.uni-saarland.de

Tobias Müller, Jörg Würtz

claim paper

Read More »

33

click to vote

SLP
1997

78views more SLP 1997»

Using SimICS to Evaluate the Penny System

14 years 6 days ago

Download web.it.kth.se

We demonstrate the bene ts of instruction-set simulation in the evaluation of a parallel programming system, Penny. The simulator is a reliable tool in exploring design alternativ...

Johan Montelius, Peter S. Magnusson

claim paper

Read More »

29

click to vote

SLP
1997

89views more SLP 1997»

Program Analysis via Graph Reachability

14 years 6 days ago

Download www.cs.wisc.edu

This paper describes how a number of program-analysis problems can be solved by transforming them to graph-reachability problems. Some of the program-analysis problems that are am...

Thomas W. Reps

claim paper

Read More »

27

click to vote

SLP
1997

49views more SLP 1997»

Model Checking (Abstract)

14 years 6 days ago