An approach to higher-order assertion-based debugging of higher-order (C)LP programs

Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2014). An approach to higher-order assertion-based debugging of higher-order (C)LP programs. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Madrid, España. https://doi.org/10.1145/2643135.2643148.

Description

Title: An approach to higher-order assertion-based debugging of higher-order (C)LP programs
Author/s:
  • Stulova, Nataliia
  • Morales Caballero, José Francisco
  • Hermenegildo, Manuel V.
Item Type: Monograph (Technical Report)
Date: 2014
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 (251kB) | Preview

Abstract

Higher-order constructs extend the expressiveness of rst-order (Constraint) Logic Programming ((C)LP) both syntactically and semantically. At the same time assertions have been in use for sometime 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. This paper contributes to lling this gap by extending the assertion-based approach to error detection and program validation to the higher-order context within (C)LP. We propose an extension of properties and assertions as used in (C)LP in order to be able to fully describe arguments that are predicates. The extension makes the full power of the assertion language available when describing higher-order arguments. We provide syntax and semantics for (higher-order) properties and assertions, as well as for programs which contain such assertions, including the notions of error and partial correctness. We also discuss several alternatives for performing run-time checking of such programs.

More information

Item ID: 52675
DC Identifier: http://oa.upm.es/52675/
OAI Identifier: oai:oa.upm.es:52675
DOI: 10.1145/2643135.2643148
Official URL: https://cliplab.org/papers/asrHO-tr.pdf
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 18 Oct 2018 11:58
Last Modified: 18 Oct 2018 11:58
  • 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