| 书目名称 | Live Data Structures in Logic Programs |
| 副标题 | Derivation by Means |
| 编辑 | Anne Mulkers |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | A common hazard for implementations of applicativeprogramming languages is the excessive creation of garbagecells during program execution. The available run-timegarbage collecting processes are expensive in time and oftenrequire a periodic disruption of the program execution. Thepresent book addresses the problem of memory re-use forlogic programs through program analysis rather than byrun-time garbage collection. The static analysis isconstructed as an application of abstractinterpretation forlogic programs. The starting point is a previously developedapplication of integrated type and mode analysis, whichbasically supplies a description of the logical terms towhichprogram variables can be bound at run time. Thecontribution of the bookconsists of a modular extension ofthe abstract domain and operations inorder to deriverun-time properties concerning the sharing and liveness ofterm substructures dynamically created during programexecution. Alsoillustrated is how such information can beused by the compiler to improvethe allocation of run-timestructures and to automatically introducedestructiveassignments in logic languages in a safe andtransparentway, thereby shifting some part of |
| 出版日期 | Book 1993 |
| 关键词 | Automat; Variable; compiler; data structure; logic; programming; programming language |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-56694-5 |
| isbn_softcover | 978-3-540-56694-6 |
| isbn_ebook | 978-3-540-47633-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1993 |
发表于 2025-3-21 18:31:00
