Operational Semantics of an Imperative Language in Definite Clauses

Jørgen Villadsen

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

Originalsprog	Engelsk
Titel	Proceedings of AGP-2003
Redaktører	F. Buccafurri
Forlag	DIMIT
Publikationsdato	2003
Sider	337-349
Status	Udgivet - 2003
Begivenhed	APPIA-GULP-PRODE Joint Conference on Declarative Programming - Reggio Calabria, Italien Varighed: 3 sep. 2003 → 5 sep. 2003

Konference	APPIA-GULP-PRODE Joint Conference on Declarative Programming
Land/Område	Italien
By	Reggio Calabria
Periode	03/09/2003 → 05/09/2003

Link til dokument

@inproceedings{fc836e1052bd11dba4bc000ea68e967b,

title = "Operational Semantics of an Imperative Language in Definite Clauses",

author = "J{\o}rgen Villadsen",

year = "2003",

language = "English",

pages = "337--349",

editor = "F. Buccafurri",

booktitle = "Proceedings of AGP-2003",

publisher = "DIMIT",

note = "APPIA-GULP-PRODE Joint Conference on Declarative Programming ; Conference date: 03-09-2003 Through 05-09-2003",

}