ICLP
1994
Springer
14 years 3 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
ALP
1992
Springer
14 years 3 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
ALP
1992
Springer
14 years 3 months ago
1992
Springer
The paper presents a new schematization of in nite families of terms called the primal grammars, based on the notion of primitive recursive rewrite systems. This schematization is...
ICLP
1993
Springer
14 years 3 months ago
1993
Springer
ICLP
1993
Springer
14 years 3 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
ICLP
1993
Springer
14 years 3 months ago
1993
Springer
ICLP
1993
Springer
14 years 3 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...
ICLP
1993
Springer
14 years 3 months ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...
ICLP
1993
Springer
14 years 3 months ago
1993
Springer
: Copy avoidance refers to the safe replacement, at compile time, of copying operations by destructive updates in single-assignment languages. Conceptually, the problem can be divi...
ICLP
1993
Springer
14 years 3 months ago
1993
Springer