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

190 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

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

Author / Uploaded
Anne Mulkers (auth.)

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

Recommend Papers

Abstract Interpretation

372 4 35KB Read more

Data Structures and C Programs [1 ed.] 0201161168, 9780201161168

118 31 3MB Read more

Data Structures in C++

581 110 39MB Read more

Means-Tested Transfer Programs in the United States 9780226533575

Few United States government programs are as controversial as those designed to aid the poor. From tax credits to medica

158 48 4MB Read more

Justice by Means of Democracy 9780226777122

From leading thinker Danielle Allen, a bold and urgent articulation of a new political philosophy: power-sharing liberal

144 96 3MB Read more

Data Structures in Java 9781683929550

This book is a fast-paced introduction to using data structures with Java. Numerous code samples and listings are includ

122 2 7MB Read more

Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols (SpringerBriefs in Applied Sciences and Technology) 3030911527, 9783030911522

The book provides a gentle introduction and definition of the denotational-based abstract interpretation method. The boo

118 14 4MB Read more

Economics of Means-Tested Transfer Programs in the United States, Volume I 9780226370507

Few government programs in the United States are as controversial as those designed to help the poor. From tax credits t

138 36 3MB Read more

An interpretation of the logic of Hegel 0819135437

97 16 20MB Read more

Purely Functional Data Structures

445 98 949KB Read more