Open Unification for Program Query Languages

Authors
Johan Brichau, Coen De Roover, Kim Mens
Tags
Title
Open Unification for Program Query Languages
Authors
Johan Brichau, Coen De Roover, Kim Mens
 Brichau-OpenUnification-1.pdf Δ   248Kb   19 Oct 2011
Type
In Proceedings
Book title
Proceedings of the 16th International Conference of the Chilean Computer Science Society (SCCC 2007)
Pages
92-101
Publisher
IEEE Computer Society
Editor
Hernan Astudillo & Eric Tanter
Year
2007

Abstract

Logic-based programming languages are increasingly applied as program query languages which allow developers to reason about the structure and behaviour of programs. To achieve this, the queried programs are reified as logic values such that logic quantification and unification can be used effectively. However, in many cases, standard logic unification is inappropriate for program entities, forcing developers to resort to overly complex queries. In this paper, we argue that such incidental complexity can be reduced significantly by customizing the unification algorithm. We present a practical implementation approach through inter-language reflection and open unification. These techniques are at the core of the logic program query language SOUL, through which we demonstrate cus- tom unification schemes for reasoning over Smalltalk and Java programs. Queries written in this tailored version of SOUL can exploit advanced program matching strategies without increasing the incidental complexity of the queries.

Tags Tags:


BibTeX Record
  @inproceedings{RELEASeD-2007-985350,
    title = {Open Unification for Program Query Languages},
    author = {Johan Brichau and Coen De Roover and Kim Mens},
    year = {2007},
    pages =  {92-101},
    booktitle = {Proceedings of the 16th International Conference of the Chilean Computer Science Society (SCCC 2007)},
    publisher = {IEEE Computer Society},
    editor = {Hernan Astudillo & Eric Tanter},
  }