Translating Refined Logic Programs to Mercury

Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper. Translating Refined Logic Programs to Mercury. In Michael J. Oudshoorn, editor, Computer Science 2002, Twenty-Fifth Australasian Computer Science Conference (ACSC2002), Monash University, Melbourne, Victoria, January/February 2002. Volume 4 of CRPIT, pages 33-40, Australian Computer Society, 2002. [doi]

No reviews for this publication, yet.