Towards asertion-based debugging of higher-order (C)LP programs

Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2014). Towards asertion-based debugging of higher-order (C)LP programs. In: "30th International Conference on Logic Programming (ICLP ’14)", 19-20 Jul 2014, Viena, Austria. pp. 209-210.

Description

Title: Towards asertion-based debugging of higher-order (C)LP programs
Author/s:
  • Stulova, Nataliia
  • Morales Caballero, José Francisco
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 30th International Conference on Logic Programming (ICLP ’14)
Event Dates: 19-20 Jul 2014
Event Location: Viena, Austria
Título de Revista/Publicación: Theory and Practice of Logic Programming
Date: July 2014
Volume: 14
Subjects:
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (72kB) | Preview

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.

More information

Item ID: 52670
DC Identifier: http://oa.upm.es/52670/
OAI Identifier: oai:oa.upm.es:52670
Official URL: https://www.cs.nmsu.edu/ALP/conferences/iclp-2014-proceedings/
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 18 Oct 2018 10:23
Last Modified: 18 Oct 2018 10:23
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM