Title: A sensible least herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation
Authors: De Schreye, Danny ×
Martens, Bern #
Issue Date: 1992
Publisher: Springer verlag
Series Title: Lecture notes in computer science vol:649 pages:192-204
Conference: Third International Workshop, META-92 location:Uppsala, Sweden date:June 10–12
Abstract: We study a semantics for untyped, vanilla meta-programs, using the non-ground representation for object level variables. We introduce the notion of language independence for definite programs, which generalises range restriction. For language independent, definite object programs, we prove that there is a natural one-to-one correspondence between atoms p(t1, ..., t(r)) in the least Herbrand model of the object program and atoms of the form solve(p(t1, ..., t(r))) in the least Herbrand model of the associated vanilla meta-program. Thus, for this class of programs, the least Herbrand model provides a sensible semantics for the meta-program. The main attraction of our approach is that the results can be further extended - in a straightforward way - to provide a sensible semantics for a limited form of amalgamation.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science