Live Data Structures in Logic Programs : Derivation by Means of Abstract Interpretation. 1st ed. 1993

種類:

電子ブック

責任表示:

by Anne Mulkers

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993

著者名:

• Mulkers, Anne.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 675

ISBN:

9783540476337 [3540476334]    

注記:

Abstract interpretation -- Related work -- Sharing analysis -- Liveness analysis -- Conclusion.
A common hazard for implementations of applicative programming languages is the excessive creation of garbage cells during program execution. The available run-time garbage collecting processes are expensive in time and often require a periodic disruption of the program execution. The present book addresses the problem of memory re-use for logic programs through program analysis rather than by run-time garbage collection. The static analysis is constructed as an application of abstractinterpretation for logic programs. The starting point is a previously developed application of integrated type and mode analysis, which basically supplies a description of the logical terms to which program variables can be bound at run time. The contribution of the book consists of a modular extension of the abstract domain and operations in order to derive run-time properties concerning the sharing and liveness of term substructures dynamically created during program execution. Alsoillustrated is how such information can be us

ローカル注記:

学内専用E-BOOKS (local access only)