A Framework For Efficient Modular Heap Analysis - Madhavan, Ravichandhran
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre195,58 €
Produit Neuf
Ou 48,90 € /mois
- Livraison : 25,00 €
- Livré entre le 7 et le 12 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- 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 A Framework For Efficient Modular Heap Analysis Format Broché - Livre Informatique
0 avis sur A Framework For Efficient Modular Heap Analysis Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
Art Of Merit: Studies In Buddhist Art And Its Conservation
Neuf dès 284,26 €
-
Just Enough Software Architecture: A Risk-Driven Approach
Occasion dès 142,99 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
The Mirabelle Cookbook
Occasion dès 98,08 €
-
Gilbert Portanier
Neuf dès 141,34 €
-
Pete Townshend: Who I Am
Neuf dès 127,99 €
-
Georgia O'keeffe
Occasion dès 105,99 €
-
A First Course In Logic
Neuf dès 130,46 €
Occasion dès 192,99 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
The Lord Of The Rings
Neuf dès 183,44 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Illustrated Dermatology
Neuf dès 154,26 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1970
3 avis
Neuf dès 129,00 €
-
Financial & Managerial Accounting Ise
Neuf dès 104,72 €
-
Oxford Resources For Ib Dp Chemistry: Course Book
Neuf dès 102,33 €
-
Imagine Too!
1 avis
Neuf dès 191,68 €
-
Seamanship In The Age Of Sail
Occasion dès 215,00 €
-
Gregory Crewdson
Occasion dès 100,00 €
Produits similaires
Présentation A Framework For Efficient Modular Heap Analysis Format Broché
- Livre Informatique
Résumé :
Modular heap analysis techniques analyze a program by computing summaries for every procedure in the program that describes its effects on an input heap, using pre-computed summaries for the called procedures. In A Framework For Efficient Modular Heap Analysis, the focus is on a family of modular heap analyses that summarize a procedure's heap effects using a context-independent, shape-graph-like summary that is agnostic to the aliasing in the input heap. These analyses are very efficient but their complexity and the absence of a theoretical formalization and correctness proofs makes it hard to produce correct extensions and modifications of these algorithms - whether to improve precision or scalability or to compute more information. A Framework For Efficient Modular Heap Analysis presents a modular heap analysis framework that generalizes these four analyses. It formalizes this framework as an abstract interpretation and establishes the correctness and termination guarantees. It formalizes the four analyses as instances of the framework. The formalization explains the basic principle behind such modular analyses and simplifies the task of producing extensions and variations of such analyses. A Framework For Efficient Modular Heap Analysis is written with exceptional clarity and is a delightful read for program analysis experts and novices alike....
Détails de conformité du produit
Personne responsable dans l'UE