Roles of Program Extension

Authors

Ralf Lämmel and Günter Riedewald and Wolfgang Lohmann

Abstract

A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The extension of computational behaviour is modelled by semantics-preserving program transformations. Several basic roles involved in such transformations are identified. Every transformation defined solely in terms of the basic roles will be semantics-preserving by definition. Functional meta-programs on logic object programs are used to specify the basic roles and to derive programming techniques in the style of stepwise enhancement. Thus, the process of extending the computational behaviour of logic programs is regarded as disciplined meta-programming.

Bibtex entry

@INPROCEEDINGS{LRL99,
 AUTHOR = "Ralf L{\"a}mmel and G{\"u}nter Riedewald and Wolfgang Lohmann",
 TITLE = "{Roles of Program Extension}",
 EDITOR = "A.~Bossi",
 BOOKTITLE = "{Post-workshop proceedings LOPSTR'99}",
 SERIES = "LNCS",
 NUMBER = "1817",
 YEAR = 2000,
 PUBLISHER = "Springer-Verlag",
 NOTE = "20 pages"
}

Download

[.ps], [.pdf]