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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	The journal of logic programming Jg. 22; H. 1; S. 47 - 99
Hauptverfasser:	Martens, Bern, de Schreye, Danny
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New-York, NY Elsevier Inc 1995 Elsevier
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!