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

181 59 2MB

English Pages 227 [224] Year 1993

Report DMCA / Copyright

DOWNLOAD DJVU FILE

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

Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation [1 ed.]
 3540566945, 9783540566946

  • 0 0 0
  • Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up