{"product_id":"9783540566946","title":"Live Data Structures in Logic Programs","description":"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 towhich    program variables can be bound at run time. Thecontribution of the book    consists of a modular extension ofthe abstract domain and operations in    order 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 improve  the allocation of run-timestructures and to automatically introduce        destructiveassignments in logic languages in a safe and                    transparentway, thereby shifting some part of the run-time                 storagereclamation overhead to compile time.","brand":"Anne Mulkers","offers":[{"title":"Default Title","offer_id":47628067406142,"sku":"9783540566946","price":1546.52,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9783540566946.jpg?v=1707722045","url":"https:\/\/exclusivebooks.co.za\/products\/9783540566946","provider":"Exclusive Books Online","version":"1.0","type":"link"}