Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models

Detalles Bibliográficos
Autores: Marron, Mark, Hermenegildo, Manuel V.|||0000-0002-7583-323X, Kapur, Deepak, Stefanovic, Darko
Tipo de recurso: artículo
Fecha de publicación:2008
País:España
Institución:Universidad Politécnica de Madrid
Repositorio:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:2905
Acceso en línea:https://oa.upm.es/2905/
Access Level:acceso abierto
Palabra clave:Heap analysis techniques
optimizing compiler
memoizing analysis.
Descripción
Descripción no disponible.