Items related to A Framework for Efficient Modular Heap Analysis (Foundations...
A Framework for Efficient Modular Heap Analysis (Foundations and Trends(r) in Programming Languages) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for A Framework for Efficient Modular Heap Analysis (Foundations...
Stock Image
A Framework For Efficient Modular Heap Analysis (Foundations and Trends (R) in Programming Languages): 3 (Foundations and Trends® in Programming Languages) [Paperback] Madhavan, Ravichandhran; Ramalingam, G. and Vaswani, Kapil
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Minor wear at edges/corners. Faint storage scratches to cover. Light marks at extremities of text blocks. Text as new and unread. Seller Inventory # 039805-6
Quantity: 1 available
Seller Image
Framework for Efficient Modular Heap Analysis
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 23165175
Quantity: Over 20 available
Stock Image
A Framework for Efficient Modular Heap Analysis (Foundations and Trends in Programming Languages)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 128. Seller Inventory # 26372686979
Quantity: 4 available
Stock Image
A Framework for Efficient Modular Heap Analysis (Foundations and Trends in Programming Languages)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 128. Seller Inventory # 373391196
Quantity: 4 available
Stock Image
A Framework for Efficient Modular Heap Analysis (Foundations and Trends in Programming Languages)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 128. Seller Inventory # 18372686985
Quantity: 4 available
Seller Image
A Framework For Efficient Modular Heap Analysis
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9781680830026
Quantity: 1 available