2nd International Workshop on the Theory and Practice of Algebraic Specifications

Over the past five years, the Workshops in Computing series has provided a platform for state of the art research in a wide range of topics within computing science. As of 1996, the series has been published on-line - the aim being to make this important research material available in a more versatile and user-friendly format. The full papers from the 2nd International Workshop on the Theory and Practice of Algebraic Specifications are available on-line at: http://ewic. springer. co. uk/ This booklet provides the passwords needed to access the web site. Purchasing the booklet p rovides the use with unlimited access to the site for four years (subject, or course, to entry of the correct passwords each time.) This workshop provided a forum for the presentation of research papers on the theory, design, implementation and application of algebraic specifications in general and the ASF+SDF formalism in particular. The papers included cover areas such as algebraic specification; industrial applications; practical experience and case studies; program understanding; programming environments; and language prototyping.