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 |
|
| Editor:
| Nivat, Maurice
Rattray, Charles
Rus, Teodor
Scollo, Giuseppe |
| Series title: | Workshops in Computing Ser. |
| ISBN: | 978-3-540-19797-3 |
| Publication Date: | Oct 1992 |
| Publisher: | Springer
|
| Book Format: | Paperback |
| List Price: | USD $89.95 |
Book Description:
|
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...
More DescriptionThis 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.