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érence › Chapitre

langue originale	Anglais
titre	LOPSTR'98
Sous-titre	Proc. International Workshop on Logic-Based program Synthesis and Transformation
rédacteurs en chef	P Flener
Editeur	Springer Verlag
Pages	21-40
Nombre de pages	20
Volume	1559
Etat de la publication	Publié - 1998

Contient cette citation

@inbook{1e19364c3aef4f71a639abc3da649bab,

title = "A Step towards a Methodology for Mercury Program Construction: A declarative Semantics for Mercury",

author = "Dante Baldan and {Le Charlier}, Baudouin and Christophe Lecl{\`e}re and Isabelle Pollet",

note = "Publication editors : P. Flener",

year = "1998",

language = "English",

volume = "1559",

pages = "21--40",

editor = "P Flener",

booktitle = "LOPSTR'98",

publisher = "Springer Verlag",

address = "Germany",

}

A Step towards a Methodology for Mercury Program Construction: A declarative Semantics for Mercury. / Baldan, Dante; Le Charlier, Baudouin; Leclère, Christophe et al.
LOPSTR'98: Proc. International Workshop on Logic-Based program Synthesis and Transformation. Ed. / P Flener. Vol 1559 Springer Verlag, 1998. p. 21-40.

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