Observatorio de I+D+i UPM

Memorias de investigación
Other publications:
Precise Set Sharing for Java-style Programs (and proofs)
Year:2007
Research Areas
  • Programming language
Information
Abstract
Technical Report
International
Si
Entity
UPM
Place
Madrid
Pages
Reference/URL
CLIP2/2007.1
Publication type
Technical Report
Participants
  • Autor: Mario Mendez-Lojo (CLIP)
  • Autor: Manuel de Hermenegildo Salinas (UPM)
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)