Articoli correlati a Live Data Structures in Logic Programs: Derivation...
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation: 675 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Abstract interpretation.- Related work.- Sharing analysis.- Liveness analysis.- Conclusion.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540566945
- ISBN 13 9783540566946
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine236
Compra nuovo
Visualizza questo articolo
EUR 53,73
EUR 3,52 per la spedizione in U.S.A.
Destinazione, tempi e costi
Risultati della ricerca per Live Data Structures in Logic Programs: Derivation...
Immagini fornite dal venditore
Live Data Structures in Logic Programs.
Da: Antiquariat Dorner, Reinheim, Germania
Valutazione del venditore 5 su 5 stelle
Derivation by Means of Abstract Interpretation. Berlin, Springer 1993. VIII, 220 S., OKart. Gutes Exemplar. Codice articolo 130467
Quantità: 1 disponibili
Foto dell'editore
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation (Lecture Notes in Computer Science, 675)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020170836
Quantità: Più di 20 disponibili
Foto dell'editore
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation (Lecture Notes in Computer Science, 675)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540566946_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Live Data Structures in Logic Programs : Derivation by Means of Abstract Interpretation
Editore:
Springer Berlin Heidelberg, 1993
ISBN 10: 3540566945
ISBN 13: 9783540566946
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540566946
Quantità: 1 disponibili
Foto dell'editore
Live Data Structures in Logic Programs : Derivation by Means of Abstract Interpretation
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540566946
Quantità: 10 disponibili
Immagini fornite dal venditore
Live Data Structures in Logic Programs
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 4894041
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Live Data Structures in Logic Programs
Editore:
Springer Berlin Heidelberg Mai 1993, 1993
ISBN 10: 3540566945
ISBN 13: 9783540566946
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540566946
Quantità: 2 disponibili