458 search results - page 1 / 92 » An Algebraic Approach to Sharing Analysis of Logic Programs |
SAS
1997
Springer
13 years 9 months ago
1997
Springer
IFIP
1994
Springer
13 years 9 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
APLAS
2009
ACM
13 years 12 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
AMAI
2006
Springer
13 years 5 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...
PDS
1996
13 years 6 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...