{"product_id":"9783540566946","title":"Lecture Notes in Computer Science: Derivation by Means of Abstract Interpretation","description":"\u003ch1\u003eLecture Notes in Computer Science: Derivation by Means of Abstract Interpretation\u003c\/h1\u003e \u003ch2\u003eMulkers, Anne\u003c\/h2\u003e \u003cp\u003eA common hazard for implementations of applicative\nprogramming languages is the excessive creation of garbage\ncells during program execution. The       available run-time\ngarbage collecting processes are expensive in time and   often\nrequire a periodic disruption of the program execution.               The\npresent book addresses the problem of memory re-use for\nlogic       programs through program analysis rather than by\nrun-time garbage           collection. The static analysis is\nconstructed as an application of abstractinterpretation for\nlogic programs. The starting point is a previously       developed\napplication of integrated type and mode analysis,                 which\nbasically supplies a description of the logical terms to\nwhich    program variables can be bound at run time. The\ncontribution of the book    consists of a modular extension of\nthe abstract domain and operations in    order to derive\nrun-time properties concerning the sharing and liveness     of\nterm substructures dynamically created during program\nexecution. Alsoillustrated is how such information can be\nused by the compiler to improve  the allocation of run-time\nstructures and to automatically introduce        destructive\nassignments in logic languages in a safe and                    transparent\nway, thereby shifting some part of the run-time                 storage\nreclamation overhead to compile time.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-05-27\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540566946\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56694-5\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 227\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370077577356,"sku":"9783540566946","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540566946.jpg?v=1773969981","url":"https:\/\/lateknightbooks.com\/products\/9783540566946","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}