E-Book Overview
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica tions. The selection was very strict, for 121 submissions were received.
E-Book Content
WORKSHOPS IN COMPUTING Series edited by C. J. van Rijsbergen Also in this series Object Orientation In Z Susan Stepney, Rosalind Barden and David Cooper (Eds.) Code Generation - Concepts, Tools, Techniques Proceedings of the International W orksh~ on Code Generation, Dagstuhl, Germany, 20-24 May 1991 Robert Giegerich and Susan L Graham (Eds.) Z User Workshop, York 1991, Proceedings of the Sixth Amual Z User Meeting, York, 16-17 December 1991 I.E. Nicholls (Ed.) PersIstent Object Systems Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa). Italy. 1-4 Septemberl992 Antonio Albano and Ron Morrison (Eds.) Formal Methods In Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering. Montreal. Canada, 15-16 May 1992 V.S. Alagar. Lab V.S. Lakshmanan and F. Sadri (Eds.) Formal Aspects of Measurement Proceedings of the BCS-FACS Worksh~ on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 TlDl Denvir, Ros Herman and R.W. Whitty (Eds.) Modelling Database Dynamics Selected Papers from the Founh International Worksh~ on Foundations of Models and Languages for Data and Objects. Volkse. Germany. 19-22 October 1992 Udo W. Lipeck and Bernhard Thalheim (Eds.) AI and Cognitive Science '91 University College, Cork, 19-20 September 1991 Humphrey Sorensen (Ed.) 14th Inronnatlon Retrieval Colloquium Proceedings of the BCS 14th Information Retrieval Colloquium. University of Lancaster, 13-14 April 1992 Tony McEnery and Chris Paice (Eds.) 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 Ianuary 1992 Oiff B. lones, Roger C. Shaw and Tim Denvir (Eds.) Algebraic Methodology and Software Technology (AMAST'91) Proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 M. Nivat, C. Rattray, T. Rus and G. Scollo (Eds.) ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March-l April 1992 Krysia Broda (Ed.) Logic Program Synthesis and Transformation Proceedings of LOPSlR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3Iuly 1992 Knng-Kiu Lau and Tim Clement (Eds.) NAPAW 92, Proceedings of the First Nonh American Process Algebra Workshop, Stony Brook. New York. USA. 28 August 1992 S. Purushotbaman and Amy Zwarico (Eds.) F1rst International Workshop on Larch Proceedings of the First International Workshop on Larch. Dedham. Massachusetts, USA. 13-15 Iulyl992 Ursula Martin and Ieannette M. Wing (Eds.) Functional Programming, G