Artículos relacionados a A Framework For Efficient Modular Heap Analysis: 3...
A Framework For Efficient Modular Heap Analysis: 3 (Foundations and Trends® in Programming Languages) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 78,17
EUR 5,17 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para A Framework For Efficient Modular Heap Analysis: 3...
Imagen de archivo
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
Publicado por
Now Publishers, 2015
ISBN 10: 1680830023
ISBN 13: 9781680830026
Antiguo o usado
Tapa blanda
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Minor wear at edges/corners. Faint storage scratches to cover. Light marks at extremities of text blocks. Text as new and unread. Nº de ref. del artículo: 039805-6
Cantidad disponible: 1 disponibles
Imagen de archivo
A Framework for Efficient Modular Heap Analysis (Foundations and Trends(r) in Programming Languages)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781680830026_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
A Framework For Efficient Modular Heap Analysis
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9781680830026
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
A Framework For Efficient Modular Heap Analysis
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: IQ-9781680830026
Cantidad disponible: 15 disponibles
Imagen de archivo
A Framework for Efficient Modular Heap Analysis (Foundations and Trends(r) in Programming Languages)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9781680830026
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Framework for Efficient Modular Heap Analysis
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 23165175-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Framework for Efficient Modular Heap Analysis
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 23165175-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
A Framework For Efficient Modular Heap Analysis
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9781680830026
Cantidad disponible: 10 disponibles
Imagen del vendedor
Framework for Efficient Modular Heap Analysis
Publicado por
Now Publishers, 2015
ISBN 10: 1680830023
ISBN 13: 9781680830026
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 23165175
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
A Framework For Efficient Modular Heap Analysis
Publicado por
now publishers Inc, US, 2015
ISBN 10: 1680830023
ISBN 13: 9781680830026
Nuevo
Paperback
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: LU-9781680830026
Cantidad disponible: Más de 20 disponibles