Observatorio de I+D+i UPM

Descripción
The approach to program validation and verification by means of static/dynamic checking of the user-provided annotations (assertions) has received significant interest in recent years. However, in the domain of (Constraint) Logic Programming assertion-based approach lacks support for the higher-order constructs, which are extremely useful in practice. In our work we bridge this gap by providing syntactical and semantical extensions for the assertion language adopted in several most popular Prolog implementations.
Internacional	Si
Nombre congreso	ACM-W Europe womENcourage Celebration of Women in Computing
Tipo de participación	970
Lugar del congreso	Uppsala University, Sweden
Revisores	Si
ISBN o ISSN
DOI
Fecha inicio congreso	24/09/2015
Fecha fin congreso	26/09/2015
Desde la página
Hasta la página
Título de las actas

Esta actividad pertenece a memorias de investigación

• Autor: Nataliia Stulova . (UPM)
• Autor: Jose Francisco Morales Caballero (UPM)
• Autor: Manuel de Hermenegildo Salinas (UPM)

• Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
• Departamento: Inteligencia Artificial