Data refining logic programs

Colvin, R., Hayes, I. J. and Strooper, P. (1998). Data refining logic programs. In: Jim Grundy, Martin Schwenke and Trevor Vickers, Proceedings of IRW/FMP. International Refinement Workshop and Formal Methods Pacific '98, Canberra, Australia, (100-116). 29 September - 2 October, 1998.

Author Colvin, R.
Hayes, I. J.
Strooper, P.
Title of paper Data refining logic programs
Conference name International Refinement Workshop and Formal Methods Pacific '98
Conference location Canberra, Australia
Conference dates 29 September - 2 October, 1998
Proceedings title Proceedings of IRW/FMP
Place of Publication New York
Publisher Springer -Verlag
Publication Year 1998
Sub-type Fully published paper
ISBN 978-981-4021-16-6
Editor Jim Grundy
Martin Schwenke
Trevor Vickers
Volume 8
Start page 100
End page 116
Total pages 16
Language eng
Abstract/Summary The International Refinement Workshop and Formal Methods Pacific 1998 (IRW/FMP8) is a combined event. FMP8 itself incorporates the 4th New Zealand Formal Program Development Colloquium and the 7th Australasian Refinement Workshop. The international scope of the event is due to the welcome support of the British Computer Society specialist group in Formal Aspects of Computer Science, in lieu of their 1998 Refinement Workshop. IRW/FMP8 provides a forum for discussion of current research on mathematically based techniques for design and development of computer systems, especially formal or rigorous methods for developing executable programs from abstract specifications, tool support for formal software development, and practical experience with formal methods. Topics also include the specification and verification of hardware and software, and the specification and development of real-time, probabilistic, and concurrent problems. These proceedings present significant contributions to current research in formally developed computer systems.
Subjects 08 Information and Computing Sciences
Keyword mathematicians and computer scientists
software engineers
systems designers
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown
Additional Notes Series: Discrete Mathematics and Theoretical Computer Science

Document type: Conference Paper
Collection: Queensland Brain Institute Publications
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Tue, 01 Dec 2009, 14:01:36 EST by Ms Lynette Adams on behalf of Queensland Brain Institute