A complete resolution method for logical meta-programming languages

Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

Originalsprog	Engelsk

Citer dette

@book{de6c07c052bd11dba4bc000ea68e967b,

title = "A complete resolution method for logical meta-programming languages",

keywords = "logic programming, meta-programming, programming languages, resolution, reflection, procedural semantics",

author = "Henning Christiansen",

year = "1992",

language = "English",

series = "Datalogiske Skrifter",

number = "38",

publisher = "Roskilde Universitet",

}

TY - RPRT

T1 - A complete resolution method for logical meta-programming languages

AU - Christiansen, Henning

PY - 1992

Y1 - 1992

KW - logic programming

KW - meta-programming

KW - programming languages

KW - resolution

KW - reflection

KW - procedural semantics

M3 - Report

T3 - Datalogiske Skrifter

BT - A complete resolution method for logical meta-programming languages

PB - Roskilde Universitet

CY - Roskilde

ER -