75 search results - page 1 / 15 » Logic Programming: The Evolving Algebra Approach |
IFIP
1994
Springer
13 years 8 months ago
1994
Springer
The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1
EWDW
1990
13 years 8 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
IFIP
1994
Springer
13 years 8 months ago
1994
Springer
AMAI
2006
Springer
13 years 4 months ago
2006
Springer
We show that the concepts of strong and uniform equivalence of logic programs eneralized to an abstract algebraic setting of operators on complete lattices. Our results imply char...
SAS
1997
Springer
13 years 8 months ago
1997
Springer
