Towards a Normal Form for Mercury Programs

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)43-58
Number of pages16
JournalProceedings of LOPSTR 2007
Volume4915
Publication statusPublished - 2008

Cite this

@article{86f8e1dade514870bcd03a68679e49a3,
title = "Towards a Normal Form for Mercury Programs",
author = "Fran{\cc}ois Degrave and Wim Vanhoof",
year = "2008",
language = "English",
volume = "4915",
pages = "43--58",
journal = "Proceedings of LOPSTR 2007",

}

Towards a Normal Form for Mercury Programs. / Degrave, François; Vanhoof, Wim.

In: Proceedings of LOPSTR 2007, Vol. 4915, 2008, p. 43-58.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Towards a Normal Form for Mercury Programs

AU - Degrave, François

AU - Vanhoof, Wim

PY - 2008

Y1 - 2008

M3 - Article

VL - 4915

SP - 43

EP - 58

JO - Proceedings of LOPSTR 2007

JF - Proceedings of LOPSTR 2007

ER -