Live Data Structures in Logic Programs

Derivation by Means of Abstract Interpretation

By:

Anne Mulkers

Format:

Paperback / softback

Series:

Lecture Notes in Computer Science,

Show Hide Adult Content

$144.99

RRP:: ~~$158.95~~ save $13.96

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $36.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 7-19 June using International Courier

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.

Release date Australia

May 27th, 1993

Author

Anne Mulkers

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational

Illustrations

IX, 227 p.

Pages

227

Series

Lecture Notes in Computer Science,

Dimensions

155x233x12

ISBN-13

9783540566946

Product ID

2828404

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Computers & Internet Books:

Live Data Structures in Logic Programs

By:

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*