Skip navigation
Skip navigation

International Refinement Workshop and Formal Methods Pacific ’98

Australasian Refinement Workshop; New Zealand Formal Program Development Colloquium; International Refinement Workshop and Formal Methods Pacific

Description

The International Refinement Workshop and Formal Methods Pacific 1998 (IRW/FMP'98), as the title suggests, is a combined event. FMP'98 itself incorporates the 7th Australasian Refinement Workshop and the 4th New Zealand Formal Program Development Colloquium, and follows the inaugural FMP'97 in Wellington. The Australasian Refinement Workshop (ARW) series began in 1990, to provide a forum for researchers in program refinement. The New Zealand Formal Program Development Colloquium (NZFPDC)...[Show more]

dc.contributor.authorAustralasian Refinement Workshop
dc.contributor.authorNew Zealand Formal Program Development Colloquium
dc.contributor.authorInternational Refinement Workshop and Formal Methods Pacific
dc.contributor.editorGrundy, Jim
dc.contributor.editorSchwenke, Martin
dc.contributor.editorVickers, Trevor
dc.coverage.spatialCanberra, ACT, Australia
dc.coverage.temporal29 September - 2 October, 1998
dc.date.accessioned2003-07-11
dc.date.accessioned2004-05-19T12:58:25Z
dc.date.accessioned2011-01-05T08:43:58Z
dc.date.available2004-05-19T12:58:25Z
dc.date.available2011-01-05T08:43:58Z
dc.date.created1998
dc.identifier.urihttp://hdl.handle.net/1885/40812
dc.description.abstractThe International Refinement Workshop and Formal Methods Pacific 1998 (IRW/FMP'98), as the title suggests, is a combined event. FMP'98 itself incorporates the 7th Australasian Refinement Workshop and the 4th New Zealand Formal Program Development Colloquium, and follows the inaugural FMP'97 in Wellington. The Australasian Refinement Workshop (ARW) series began in 1990, to provide a forum for researchers in program refinement. The New Zealand Formal Program Development Colloquium (NZFPDC) series began in 1994 with similar aims. In 1997 the ARW and NZFPDC joined forces in Wellington under the umbrella name Formal Methods Pacific (FMP). The more general name, and regional focus better reflects the broader range of interests of participants and presented papers, while satisfying the need for a regional conference covering formal methods. The event became the International Refinement Workshop with the postponement of the 7th British Refinement Workshop, and the welcome support of IRW/FMP'98 by the British Computer Society FACS. IRW/FMP'98 is being held concurrently with The 11th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'98) at The Australian National University. Papers for IRW/FMP'98 were sought in two streams: Completed Work and Work in Progress. The Work in Progress stream provides a forum for discussion of work that has not yet reached maturity. Submissions were vetted for relevance, but not refereed. This volume presents the Work in Progress papers.
dc.format.extent1112794 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen_AU
dc.publisherCanberra, ACT: Department of Computer Science, Faculty of Engineering and Information Technology, The Australian National University.
dc.publisherCanberra, ACT: Computer Sciences Laboratory, Research School of Information Sciences and Engineering, The Australian National University.
dc.relation.ispartofseriesThe International Refinement Workshop and Formal Methods Pacific 1998
dc.relation.ispartofseriesTechnical report (Computer Science, Faculty of Engineering and Information Technology and and Computer Sciences Laboratory, Research School of Information Sciences and Engineering, The Australian National University): TR-CS-98-09
dc.subjectGrover's Quantum Search Algorithm
dc.subjectCare2
dc.subjectDataflow Networks
dc.subjectcomponent object model
dc.subjectCOMEL
dc.subjectinteractive systems testing
dc.subjectcomponent-based systems
dc.subjectcatamorphisms
dc.subjectobject-oriented refinement calculus
dc.subjectC++
dc.subjecttemporal refinement calculus
dc.titleInternational Refinement Workshop and Formal Methods Pacific ’98
dc.typeBook
local.identifier.citationyear1998
local.identifier.eprintid1672
local.rights.ispublishedyes
dc.date.issued1998
dcterms.accessRightsOpen Access
dc.description.tableofcontentsConference Papers: Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp / By Michael Butler and Pieter Hartel -- Care2 and its Type System / By Keith Harwood -- A Proof Framework with IO Regular Expressions for Dataow Networks / By Yuji Hayashi, Tadashi Yamaguchi and Eiichi Miyamo -- Can Component Object Model (COM) be Formalized: The Formal Semantics of the COMEL Language / By Rosziati Ibrahim and Clemens Szyperski -- Modelling Specification-based Testing of Interactive Systems / By Ian MacColl and David Carrington -- A Superposition Refinement of Component-based Systems / By Winnie Weiqun Qiu and John Zic -- I Went Down To The Crossroads: Conjoining Catamorphisms / By Martin Schwenke -- Using the Object Calculus to build an Object-Oriented Refinement Calculus / By Jamie Shield and David Carrington -- Equivalences and Refinement / By Igor V. Tarasyuk -- Local Stores in C++ / By Mark Utting and James Dunwoody -- Teaching Formal Methods Lite / By Mark Utting and Steve Reeves -- Issues for a Temporal Refinement Calculus / By Ron van der Meyden and Yoram Moses
CollectionsANU Research Publications

Download

File Description SizeFormat Image
TR-CS-98-09.pdf1.09 MBAdobe PDFThumbnail


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator