Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation
Foyalty 191

Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation (Paperback)

Printed to order. Despatched in 2-3 weeks.
Email me when back in stock


A common hazard for implementations of applicative

programming languages is the excessive creation of garbage

cells during program execution. The available run-time

garbage collecting processes are expensive in time and often

require a periodic disruption of the program execution. The

present book addresses the problem of memory re-use for

logic programs through program analysis rather than by

run-time garbage collection. The static analysis is

constructed as an application of abstractinterpretation for

logic programs. The starting point is a previously developed

application of integrated type and mode analysis, which

basically supplies a description of the logical terms to

which program variables can be bound at run time. The

contribution of the book consists of a modular extension of

the abstract domain and operations in order to derive

run-time properties concerning the sharing and liveness of

term substructures dynamically created during program

execution. Alsoillustrated is how such information can be

used by the compiler to improve the allocation of run-time

structures and to automatically introduce destructive

assignments in logic languages in a safe and transparent

way, thereby shifting some part of the run-time storage

reclamation overhead to compile time.

Computing & ITComputer programming / software developmentComputing & ITComputer scienceComputer architecture & logic design Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Publication Date: 27/05/1993 ISBN-13: 9783540566946  Details: Type: Paperback Format: Books
Availability: Printed to order. Despatched in 2-3 weeks.  

More books by Anne Mulkers

Leave Review


Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Reconfigurable and Adaptive ...
Nadia Nedjah; Chao Wang
The TOGAF  (R) Standard, Version 9.2 ...
Van Haren Publishing
© W&G Foyle Ltd