Memorias de investigación
Conferences:
Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP
Year:2010

Research Areas
  • Information technology and adata processing

Information
Abstract
Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP
International
Si
Entity
Entity Nationality
FRANCIA
Place
Perpignan, France
Participants

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