Live Data Structures in Logic Programs - Mulkers, Anne
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreExpédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Nos autres offres
-
49,68 €
Occasion · Très Bon État
Ou 12,42 € /mois
- Livraison : 0,00 €
- Livré entre le 5 et le 10 août
-
71,21 €
Produit Neuf
Ou 17,80 € /mois
- Livraison à 0,01 €
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Voir le détail de l'annonce -
88,39 €
Produit Neuf
Ou 22,10 € /mois
- Livraison à 0,01 €
- Livré entre le 23 juillet et le 4 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540566946_dbm
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Live Data Structures In Logic Programs Format Broché - Livre Informatique
0 avis sur Live Data Structures In Logic Programs Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Anders Petersen, Rome
Occasion dès 65,00 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Final Fantasy X 25th Anniversary Visual Art Book -Eternal Spira-
Neuf dès 41,99 €
-
La Bible Officielle Du Toeic - Le Meilleur Tout-En-Un Pour Réussir !
3 avis
Neuf dès 44,90 €
Occasion dès 25,00 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Oxford Resources For Ib Dp Chemistry: Study Guide
Neuf dès 54,16 €
-
Cascades Et Fontaines
1 avis
Occasion dès 32,50 €
-
Alice In Wonderland And Through The Looking-Glass (Collector's Edition) (Laminated Hardback With Jacket)
Neuf dès 51,69 €
-
Domenico Scarlatti 60 Sonatas, Books 1 And 2 Schirmer Library Of Musical Classics Vol. 2063 Piano Sheet Music Collection For Advanced & Intermediate Pianists
Neuf dès 28,70 €
-
The Principles Of Product Development Flow: Second Generation Lean Product Development
Occasion dès 29,56 €
-
Gender Trouble
1 avis
Neuf dès 51,92 €
-
Philip Glass: The Complete Piano Etudes - Piano Classics Sheet Music - Piano Chord Book - Philip Glass Piano Works
1 avis
Neuf dès 26,99 €
-
Apprendre L'armenien Occidental Pour Francophones (Les Cahiers D'eric)
Neuf dès 39,99 €
-
Spring Boot 3 Und Spring Framework 6
Neuf dès 280,99 €
Occasion dès 39,92 €
-
Initiation Aux Lettres Latines - Livre N° 2 - Classe De Troisième 3e - Programme De 1971
Occasion dès 49,97 €
-
Intellectuals And Society (Revised, Enlarged)
Neuf dès 31,93 €
-
101 Watercolor Secrets
1 avis
Neuf dès 31,40 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 72,46 €
Produits similaires
Présentation Live Data Structures In Logic Programs Format Broché
- Livre Informatique
Résumé :
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.
Sommaire:
Abstract interpretation.- Related work.- Sharing analysis.- Liveness analysis.- Conclusion.
Détails de conformité du produit
Personne responsable dans l'UE