Reversible language extensions and their application in debugging

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

Descripción

Título: Reversible language extensions and their application in debugging
Autor/es:
  • Drey, Zoé
  • Morales Caballero, José Francisco
  • Hermenegildo, Manuel V.
Tipo de Documento: Artículo
Título de Revista/Publicación: CoRR
Fecha: 2013
Materias:
Palabras Clave Informales: language extensions, debuggers, logic programming, constraint programming, extensiones de lenguaje, depuradores, programación lógica, progrmanción restringida.
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 (862kB) | Vista Previa

Resumen

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}.

Más información

ID de Registro: 14840
Identificador DC: http://oa.upm.es/14840/
Identificador OAI: oai:oa.upm.es:14840
URL Oficial: http://arxiv.org/abs/1301.7694
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 12 Abr 2013 06:28
Ultima Modificación: 21 Abr 2016 14:41
  • 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