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]

Authors

Robert Colvin

This author has not been identified. Look up 'Robert Colvin' in Google

Ian J. Hayes

This author has not been identified. Look up 'Ian J. Hayes' in Google

David Hemer

This author has not been identified. Look up 'David Hemer' in Google

Paul A. Strooper

This author has not been identified. Look up 'Paul A. Strooper' in Google