A Step towards a Methodology for Mercury Program Construction: A declarative Semantics for Mercury

Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationLOPSTR'98
Subtitle of host publicationProc. International Workshop on Logic-Based program Synthesis and Transformation
EditorsP Flener
PublisherSpringer Verlag
Pages21-40
Number of pages20
Volume1559
Publication statusPublished - 1998

Cite this

Baldan, D., Le Charlier, B., Leclère, C., & Pollet, I. (1998). A Step towards a Methodology for Mercury Program Construction: A declarative Semantics for Mercury. In P. Flener (Ed.), LOPSTR'98: Proc. International Workshop on Logic-Based program Synthesis and Transformation (Vol. 1559, pp. 21-40). Springer Verlag.