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

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial