Teodor Rus

Maurice Nivat

Charles Rattray

Giuseppe Scollo

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.

Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993

Algebraic Methodology and Software Technology (AMAST’93)

This volume contains the proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST '91). The aim of the AMAST conferences is to promote the use of algebraic methodology as a foundation for software technology, and to examine how it can be used to provide practical mathematical alternatives to the ad hoc methods commonly used in software development. In particular the conferences provide a showcase for software systems which have been developed in this way, focusing on the conceptual developments which made them possible. The resulting volume covers a variety of software development issues, and testifies to the versality of algebraic methods when used as conceptual tools in the software development process. It features a distinguished collection of invited papers from leading researchers in the field, many of which break new ground, or represent an important step forward in current research. Among the specific topics covered are: language design; compiler construction; software testing; symbolic computation and partial evaluation; incremental implementation; and the verification of program and specification properties. Algebraic Methodology and Software Technology (AMAST '91) provides a comprehensive overview of this important field of science. It will provide invaluable reading for students and researchers, both in industry and academia.

Giuseppe Scollo

Books

Your next favorite book is out there