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.
Baldan, Dante ; Le Charlier, Baudouin ; Leclère, Christophe ; Pollet, Isabelle. / A Step towards a Methodology for Mercury Program Construction: A declarative Semantics for Mercury. LOPSTR'98: Proc. International Workshop on Logic-Based program Synthesis and Transformation. editor / P Flener. Vol. 1559 Springer Verlag, 1998. pp. 21-40
@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",

}

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, Springer Verlag, pp. 21-40.

A Step towards a Methodology for Mercury Program Construction: A declarative Semantics for Mercury. / Baldan, Dante; Le Charlier, Baudouin; Leclère, Christophe; Pollet, Isabelle.

LOPSTR'98: Proc. International Workshop on Logic-Based program Synthesis and Transformation. ed. / P Flener. Vol. 1559 Springer Verlag, 1998. p. 21-40.

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

TY - CHAP

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

AU - Baldan, Dante

AU - Le Charlier, Baudouin

AU - Leclère, Christophe

AU - Pollet, Isabelle

N1 - Publication editors : P. Flener

PY - 1998

Y1 - 1998

M3 - Chapter

VL - 1559

SP - 21

EP - 40

BT - LOPSTR'98

A2 - Flener, P

PB - Springer Verlag

ER -

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