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

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

langue originaleAnglais
titreLOPSTR'98
Sous-titreProc. International Workshop on Logic-Based program Synthesis and Transformation
rédacteurs en chefP Flener
EditeurSpringer Verlag
Pages21-40
Nombre de pages20
Volume1559
étatPublié - 1998

Contient cette citation

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. Dans P. Flener (Ed.), LOPSTR'98: Proc. International Workshop on Logic-Based program Synthesis and Transformation (Vol 1559, p. 21-40). Springer Verlag.