Why untyped nonground metaprogramming is not (much of) a problem

We study a semantics for untyped, vanilla metaprograms, using the nonground representation for object level variables. We introduce the notion of language independence, which generalizes range restriction. We show that the vanilla metaprogram associated with a stratified normal object program is wea...

Full description

Saved in:

Bibliographic Details
Published in:	The journal of logic programming Vol. 22; no. 1; pp. 47 - 99
Main Authors:	Martens, Bern, de Schreye, Danny
Format:	Journal Article
Language:	English
Published:	New-York, NY Elsevier Inc 1995 Elsevier
Subjects:	Applied sciences Computer science; control theory; systems Exact sciences and technology Language theory and syntactical analysis Programming theory Software Software engineering Theoretical computing Extension Metaprogramming Programming language Semantics Independence Object oriented Modular programming Logical programming Interpretation Program behavior
ISSN:	0743-1066, 1873-5789
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!