Export: Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models

Marron, Mark and Hermenegildo, Manuel V. and Kapur, Deepak and Stefanovic, Darko (2008). Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. "Lecture Notes In Computer Science", v. 4959 ; pp. 245-259. ISSN 0302-9743. https://doi.org/10.1007/978-3-540-78791-4_17.

Please select an output format:

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM