Memorias de investigación
Research Publications in journals:
Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract)
Year:2014

Research Areas
  • Information technology and adata processing

Information
Abstract
Higher-order constructs extend the expressiveness of first-order (Constraint) Logic Programming ((C)LP) both syntactically and semantically. At the same time assertions have been in use for some time in (C)LP systems helping programmers detect errors and validate programs. However, these assertion-based extensions to (C)LP have not been integrated well with higher order to date. Our work contributes to filling this gap by extending the assertion-based approach to error detection and program validation to the higher-order context, within (C)LP. It is based on an extension of properties and assertions as used in (C)LP in order to be able to fully describe arguments that are predicates.
International
Si
JCR
Si
Title
Theory And Practice of Logic Programming
ISBN
1471-0684
Impact factor JCR
0,896
Impact info
Volume
OL.Supl.
Journal number
N.Especial
From page
739
To page
754
Month
JULIO
Ranking
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