A framework for efficient modular heap analysis

Presents a parametric framework for modular heap analysis. It formalizes the framework and the instances, and presents a correctness (soundness and termination) proof of the framework using the theory of abstract interpretation. It is written with exceptional clarity and is a delightful read for pro...

Descripción completa

Detalles Bibliográficos
Autores principales: Madhavan, Ravichandhran, Ramalingam, G, Vaswani, Kapil
Lenguaje:eng
Publicado: Now Publishers 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761911
_version_ 1780970630584205312
author Madhavan, Ravichandhran
Ramalingam, G
Vaswani, Kapil
author_facet Madhavan, Ravichandhran
Ramalingam, G
Vaswani, Kapil
author_sort Madhavan, Ravichandhran
collection CERN
description Presents a parametric framework for modular heap analysis. It formalizes the framework and the instances, and presents a correctness (soundness and termination) proof of the framework using the theory of abstract interpretation. It is written with exceptional clarity and is a delightful read for program analysis experts and novices alike.
id cern-2761911
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2015
publisher Now Publishers
record_format invenio
spelling cern-27619112021-04-21T16:39:19Zhttp://cds.cern.ch/record/2761911engMadhavan, RavichandhranRamalingam, GVaswani, KapilA framework for efficient modular heap analysisXXPresents a parametric framework for modular heap analysis. It formalizes the framework and the instances, and presents a correctness (soundness and termination) proof of the framework using the theory of abstract interpretation. It is written with exceptional clarity and is a delightful read for program analysis experts and novices alike.Now Publishersoai:cds.cern.ch:27619112015
spellingShingle XX
Madhavan, Ravichandhran
Ramalingam, G
Vaswani, Kapil
A framework for efficient modular heap analysis
title A framework for efficient modular heap analysis
title_full A framework for efficient modular heap analysis
title_fullStr A framework for efficient modular heap analysis
title_full_unstemmed A framework for efficient modular heap analysis
title_short A framework for efficient modular heap analysis
title_sort framework for efficient modular heap analysis
topic XX
url http://cds.cern.ch/record/2761911
work_keys_str_mv AT madhavanravichandhran aframeworkforefficientmodularheapanalysis
AT ramalingamg aframeworkforefficientmodularheapanalysis
AT vaswanikapil aframeworkforefficientmodularheapanalysis
AT madhavanravichandhran frameworkforefficientmodularheapanalysis
AT ramalingamg frameworkforefficientmodularheapanalysis
AT vaswanikapil frameworkforefficientmodularheapanalysis

Ejemplares similares