A Framework For Efficient Modular Heap Analysis - Madhavan, Ravichandhran
- Format: Broché Voir le descriptif
195,58 €
Produit Neuf
Ou 48,90 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 10 octobre
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.
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 129,00 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
Pierre Bayle
Neuf dès 222,62 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Quantum Electrodynamics Of Strong Fields
Neuf dès 211,28 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
The Rainbow
Neuf dès 105,43 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
-
Te Linde's Operative Gynecology
Neuf dès 103,99 €
-
Common Sense
Occasion dès 115,00 €
-
Custom Lettering Of The '60s & '70s
Occasion dès 162,00 €
-
Diego Rivera. The Complete Murals
Neuf dès 212,44 €
-
Flashpoint: The 10th Anniversary Omnibus
Neuf dès 158,08 €
-
Art Of Ghost In The Shell
1 avis
Occasion dès 99,99 €
-
Hitman By Garth Ennis And John Mccrea Omnibus Vol. 2
Neuf dès 114,69 €
-
A Court Of Thorns And Roses Paperback Box Set
Occasion dès 171,95 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 215,99 €
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