Algebraic Methodology and Software Technology (AMAST'91): Proceedings of the Second International Conference on Algebraic Methodology and Software ... USA, 22-25 May 1991

The proceedings from the Second International Conference on Algebraic Methodology and Software Technology present a comprehensive exploration of algebraic approaches to software development. This collection captures the insights and advancements shared by experts in the field, highlighting the relevance of algebraic techniques in enhancing software design and implementation.

With contributions from notable figures such as Charles Rattray, Teodor Rus, and Maurice Nivat, the discussions delve into innovative methodologies, theoretical frameworks, and practical applications that address the challenges of software engineering in the early '90s. As a crucial reference for researchers and practitioners alike, these proceedings underscore the enduring significance of algebraic principles in the evolution of software technology.