Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
An Efficient, Context and Path Sensitive Analysis Framework for Java Programs
Year:2007
Research Areas
  • Programming language
Information
Abstract
Articulo en workshop
International
Si
Congress
9th Workshop on Formal Techniques for Java-like Programs FTfJP 2007
960
Place
Reviewers
Si
ISBN/ISSN
Start Date
End Date
From page
To page
Participants
  • Autor: Mario Mendez-Lojo (CLIP)
  • Autor: Manuel de Hermenegildo Salinas (UPM)
  • Autor: Jorge Navas (CLIP)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)