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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	The journal of logic programming Ročník 22; číslo 1; s. 47 - 99
Hlavní autori:	Martens, Bern, de Schreye, Danny
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New-York, NY Elsevier Inc 1995 Elsevier
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!