Reversible language extensions and their application in debugging

Drey, Zoé and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2013). Reversible language extensions and their application in debugging. "CoRR" ;

Description

Title: Reversible language extensions and their application in debugging
Author/s:
  • Drey, Zoé
  • Morales Caballero, José Francisco
  • Hermenegildo, Manuel V.
Item Type: Article
Título de Revista/Publicación: CoRR
Date: 2013
Subjects:
Freetext Keywords: language extensions, debuggers, logic programming, constraint programming, extensiones de lenguaje, depuradores, programación lógica, progrmanción restringida.
Faculty: Facultad de Informática (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 (862kB) | Preview

Abstract

A range of methodologies and techniques are available to guide the design and implementation of language extensions and domainspecific languages. A simple yet powerful technique is based on source-tosource transformations interleaved across the compilation passes of a base language. Despite being a successful approach, it has the main drawback that the input source code is lost in the process. When considering the whole workflow of program development (warning and error reporting, debugging, or even program analysis), program translations are no more powerful than a glorified macro language. In this paper, we propose an augmented approach to language extensions for Prolog, where symbolic annotations are included in the target program. These annotations allow selectively reversing the translated code. We illustrate the approach by showing that coupling it with minimal extensions to a generic Prolog debugger allows us to provide users with a familiar, source-level view during the debugging of programs which use a variety of language extensions, such as functional notation, DCGs, or CLP{Q,R}.

More information

Item ID: 14840
DC Identifier: http://oa.upm.es/14840/
OAI Identifier: oai:oa.upm.es:14840
Official URL: http://arxiv.org/abs/1301.7694
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 12 Apr 2013 06:28
Last Modified: 21 Apr 2016 14:41
  • 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