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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.