Assertion-based debugging of higher-order (C)LP programs

Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2014). Assertion-based debugging of higher-order (C)LP programs. In: "16th International Symposium on Principles and Practice of Declarative Programming", 08-10 Sep 2014, Canterbury, Reino Unido. ISBN 978-1-4503-2947-7. pp. 225-235. https://doi.org/10.1145/2643135.2643148.

Description

Title: Assertion-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: 16th International Symposium on Principles and Practice of Declarative Programming
Event Dates: 08-10 Sep 2014
Event Location: Canterbury, Reino Unido
Title of Book: PPDP,14: proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming
Date: 2014
ISBN: 978-1-4503-2947-7
Volume: 1
Subjects:
Freetext Keywords: Logic Programming; Constraint Logic Programming; Program Verification; Higher Order; Run-time Verification; Error Detection; Debugging; Assertions
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERME_ARC_2018-4.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

Higher-order constructs extend the expressiveness of firstorder
(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. This paper contributes
to filling this gap by extending the assertion-based
approach to error detection and program verification 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: 52860
DC Identifier: https://oa.upm.es/52860/
OAI Identifier: oai:oa.upm.es:52860
DOI: 10.1145/2643135.2643148
Official URL: https://dl.acm.org/citation.cfm?doid=2643135.26431...
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 29 Oct 2018 16:44
Last Modified: 29 Oct 2018 16:44
  • 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