| 書目名稱 | Live Data Structures in Logic Programs |
| 副標題 | Derivation by Means |
| 編輯 | Anne Mulkers |
| 視頻video | http://file.papertrans.cn/588/587375/587375.mp4 |
| 叢書名稱 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-12 02:24
發(fā)表于 2025-3-21 18:31:00
