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

P. Borovansky, C. Kirchner, H. Kirchner, Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language.- P-E. Moreau, H. Kirchner, Compilation Techniques for Associative-Commuiative Normalism.- S.P. Luttik, E. Visser, Specification of Rewriting Strategies.- P. Borovansky, H. Kirchner, Strategies of ELAN: Meta-interpretation and Partial Evaluation.- T.B. Dinesh, F. Tip, A Case Study of a Slicing-Based Approach for Locating Type Errors.- L. Moonen A Generic Architecture for Data Flow Analysis to Supporte Reverse Engineering.- P.D. Mosses, CASL for ASF+SDF Users.- M. van den Brand, J. Heering, P. Klint Renovation of the ASF+SDF Meta-environment.- M. van den Brand et al., Design and Implementation of a New ASF+SDF Meta-environment.- M. Anlauff, P. Kutter, A. Pierantonio, Formal Aspects of and Development Environments for Montages.- M. van den Brand, M.P.A. Sellink, C. Verhoef, Obtaining a COBOL Grammar from Legacy Code for Reeingineering Purposes.- S. Vigna, Towards an Efficient Implementation of Distributive Programs.- J.J. Brunekreef An Algebraic Specification of a Transformation Tool for Prolog Programs.