Adelaide Research & Scholarship
Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/36715
| Type: | Conference paper |
| Title: | Translating refined logic programs to mercury |
| Author: | Colvin, R. Hayes, I. Hemer, D. Strooper, P. |
| Citation: | Computer science 2002 : proceedings of the twenty-fifth Australasian Computer Science Conference, Monash University, Melbourne, Jan./Feb. 2002 / Michael Oudshoorn (ed.) : pp. 33-40 |
| Publisher: | Australian Computer Society Inc |
| Issue Date: | 2002 |
| Series/Report no.: | Australian computer science communications ; v. 24, no. 1 |
| ISBN: | 0909925828 |
| Conference Name: | Australasian Computer Science Conference (25th : 2002 : Monash University, Melbourne) |
| Statement of Responsibility: | R. Colvin, I. Hayes, D. Hemer, P. Strooper |
| Abstract: | A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we investigate the use of Mercury as the target implementation language for a refinement calculus for logic programs. We describe a prototype tool for translating programs in our specification language to Mercury code. More generally, we investigate the advantages that Mercury has over standard Prolog, with respect to developing correct programs from specifications. |
| Description: | Copyright © 2002, Australian Computer Society |
| Appears in Collections: | Aurora harvest 6 Computer Science publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.