International Refinement Workshop and Formal Methods Pacific ’98

Abstract

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) 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.Conference 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 Mose