An assertion language for constraint logic programs

Puebla Sánchez, Alvaro Germán; Bueno Carrillo, Francisco y Hermenegildo, Manuel V. (2000). An assertion language for constraint logic programs. En: "Analysis and Visualization Tools for Constraint Programming". Lecture Notes in Computer Science (1870). Springer Berlin Heidelberg, pp. 23-61. ISBN 9783540411376. https://doi.org/10.1007/10722311_2.

Descripción

Título: An assertion language for constraint logic programs
Autor/es:
  • Puebla Sánchez, Alvaro Germán
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Editor/es:
  • Deransart, Pierre
  • Hermenegildo Salinas, Manuel Vicente
  • Małuszynski, Jan
Tipo de Documento: Sección de Libro
Título del Libro: Analysis and Visualization Tools for Constraint Programming
Fecha: Septiembre 2000
ISBN: 9783540411376
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (2MB) | Vista Previa

Resumen

In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered.

Más información

ID de Registro: 14566
Identificador DC: http://oa.upm.es/14566/
Identificador OAI: oai:oa.upm.es:14566
Identificador DOI: 10.1007/10722311_2
URL Oficial: http://link.springer.com/chapter/10.1007%2F10722311_2?LI=true
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 28 Feb 2013 09:17
Ultima Modificación: 21 Abr 2016 14:17
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM