The 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. Purchase of the booklet entitles the user to four year's unlimited access.
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.
Rewriting as a unified specification tool for logic and control - the
ELAN language, P. Borovansky, et al; compilation techniques for associative
commuiative normalism, P.E. Moreau and H. Kirchner; specification of
rewriting strategies, S.P. Luttik and E. Visser; strategies of ELAN - meta
interpretation and partial evaluation, P. Borovansky and H. Kirchner; a case
study of a slicing-based approach for locating type errors, T.B. Dinesh and
F. Tip; a generic architecture for data flow analysis to supporte reverse
engineering, L. Moonen; CASL for ASF+SDF users, P.D. Mosses; renovation of
the ASF+SDF meta environment, M. van den Brand, et al; design and
implementation of a new ASF+SDF meta environment M. van den Brand, et al;
formal aspects of and development environments for montages, M. Anlauff, et
al; obtaining a COBOL grammar from legacy code for re-eingineering purposes,
M. van den Brand, et al; towards an efficient implementation of distributive
programs, S. Vigna; an algebraic specification of a transformation tool for
Prolog programs, J.J. Brunekreef.
