A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury.

Dante Baldan, Baudouin Le Charlier, Christophe Leclre, Isabelle Pollet

Browse the full LOPSTR paper archive.