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ženo v:

Podrobná bibliografie
Vydáno v:	The journal of logic programming Ročník 22; číslo 1; s. 47 - 99
Hlavní autoři:	Martens, Bern, de Schreye, Danny
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New-York, NY Elsevier Inc 1995 Elsevier
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!