Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
Reversible Language Extensions and their Application in Debugging
Year:2013
Research Areas
  • Information technology and adata processing
Information
Abstract
A range of methodologies and techniques are available to guide the design and implementation of language extensions and domain-specific languages on top of a base language. A simple yet powerful technique to this end is to formulate the extension via source-to-source transformation rules that are interleaved across the different compilation passes of the base language. Despite being a very successful approach, it has the main drawback that input source code os lost in the process. As a result, during the whole workflow of program development (warning and error reporting, source-level debugging, or even program analysis) the tools involved report in terms of the base language, which is confusing to users. 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 the selective reversal of 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 languages extensions, such as functional notation, DCGs, or CLP{Q,R}
International
Si
JCR
No
Title
Practical Aspects of Declarative Languages (PADL'13), LNCS
ISBN
Impact factor JCR
0,23
Impact info
Volume
7752
Journal number
6
From page
1
To page
100
Month
ENERO
Ranking
CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%
Participants
  • Autor: Manuel Carro Liñares (UPM)
  • Autor: Manuel de Hermenegildo Salinas (UPM)
  • Autor: José Francisco Morales Caballero (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)