Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation [1 ed.] 3540566945, 9783540566946
A common hazard for implementations of applicative programming languages is the excessive creation of garbage cells duri
182 61 2MB
English Pages 227 [224] Year 1993
Table of contents :
Introduction....Pages 1-4
Abstract interpretation....Pages 5-29
Related work....Pages 31-45
Sharing analysis....Pages 47-125
Liveness analysis....Pages 127-178
Conclusion....Pages 179-181
Introduction....Pages 1-4
Abstract interpretation....Pages 5-29
Related work....Pages 31-45
Sharing analysis....Pages 47-125
Liveness analysis....Pages 127-178
Conclusion....Pages 179-181
![Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation [1 ed.]
3540566945, 9783540566946](https://ebin.pub/img/200x200/live-data-structures-in-logic-programs-derivation-by-means-of-abstract-interpretation-1nbsped-3540566945-9783540566946.jpg)
