Implicit program synthesis by a reversible metainterpreter

Henning Christiansen

Implicit program synthesis by a reversible metainterpreter

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Originalsprog	Engelsk
Titel	Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation LOPSTR'97
Redaktører	N.E. Fuchs
Forlag	Kluwer Academic Publishers
Publikationsdato	1998
Sider	90-110
Status	Udgivet - 1998

Navn	Lecture Notes in Computer Science
Vol/bind	1463
ISSN	0302-9743

Citer dette

@inbook{d74d854052bd11dba4bc000ea68e967b,

title = "Implicit program synthesis by a reversible metainterpreter",

author = "Henning Christiansen",

year = "1998",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Kluwer Academic Publishers",

pages = "90--110",

editor = "N.E. Fuchs",

booktitle = "Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation LOPSTR'97",

}

Implicit program synthesis by a reversible metainterpreter. / Christiansen, Henning.

Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation LOPSTR'97. red. / N.E. Fuchs. Kluwer Academic Publishers, 1998. s. 90-110 (Lecture Notes in Computer Science, Bind 1463).

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning