Cargando…
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...
Autores principales: | Madhavan, Ravichandhran, Ramalingam, G, Vaswani, Kapil |
---|---|
Lenguaje: | eng |
Publicado: |
Now Publishers
2015
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2761911 |
Ejemplares similares
-
Heap Analysis and Verification workshop
Publicado: (2007) -
Heaps’ Law and Heaps functions in tagged texts: evidences of their linguistic relevance
por: Chacoma, A., et al.
Publicado: (2020) -
Heaps of money : a novel /
por: Norris, W. E. (William Edward), 1847-1925 -
Unwillingly to the Scrap Heap
por: Le Gros Clark, F.
Publicado: (1969) -
Wagner’s theory of generalised heaps
por: Hollings, Christopher D, et al.
Publicado: (2017)