Articles liés à Live Data Structures in Logic Programs: Derivation...
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation - Couverture souple
Synopsis
Live Data Structures in Logic Programs 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 abstract interpretation for logic programs.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 3540566945
- ISBN 13 9783540566946
- ReliureBroché
- Langueanglais
- Nombre de pages236
Acheter neuf
Afficher cet article
EUR 53,91
EUR 3,53 expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Live Data Structures in Logic Programs: Derivation...
Image fournie par le vendeur
Live Data Structures in Logic Programs.
Edité par
Springer, 1993
ISBN 10 : 3540566945
ISBN 13 : 9783540566946
Ancien ou d'occasion
Couverture souple
Vendeur : Antiquariat Dorner, Reinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Derivation by Means of Abstract Interpretation. Berlin, Springer 1993. VIII, 220 S., OKart. Gutes Exemplar. N° de réf. du vendeur 130467
Quantité disponible : 1 disponible(s)
Image d'archives
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation (Lecture Notes in Computer Science, 675)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020170836
Quantité disponible : Plus de 20 disponibles
Image d'archives
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation (Lecture Notes in Computer Science, 675)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540566946_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Live Data Structures in Logic Programs : Derivation by Means of Abstract Interpretation
Edité par
Springer Berlin Heidelberg, 1993
ISBN 10 : 3540566945
ISBN 13 : 9783540566946
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783540566946
Quantité disponible : 1 disponible(s)
Image d'archives
Live Data Structures in Logic Programs : Derivation by Means of Abstract Interpretation
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540566946
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Live Data Structures in Logic Programs
Edité par
Springer Berlin Heidelberg, 1993
ISBN 10 : 3540566945
ISBN 13 : 9783540566946
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 disrupti. N° de réf. du vendeur 4894041
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Live Data Structures in Logic Programs
Edité par
Springer Berlin Heidelberg Mai 1993, 1993
ISBN 10 : 3540566945
ISBN 13 : 9783540566946
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 236 pp. Englisch. N° de réf. du vendeur 9783540566946
Quantité disponible : 2 disponible(s)