275
views
0
recommends
+1 Recommend
1 collections
    8
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

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

      proceedings-article

      Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications (AL)

      Theory and Practice of Algebraic Specifications

      25th-26th September 1997

      Bookmark

            Main article text

            Papers:

            M. Anlauff, P.W. Kutter & A. Pierantonio Formal Aspects of and Development Environments for Montages http://dx.doi.org/10.14236/ewic/AL1997.1

            P. Borovansky & H. Kirchner Strategies of ELAN: Meta-Interpretation and Partial Evaluation http://dx.doi.org/10.14236/ewic/AL1997.2

            P. Borovansky, C. Kirchner & H. Kirchner Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language http://dx.doi.org/10.14236/ewic/AL1997.3

            M.G.J van den Brand, J. Heering & P. Klint Renovation of the ASF+SDF Meta-Environment - Current State of Affairs http://dx.doi.org/10.14236/ewic/AL1997.4

            M.G.J van den Brand, T. Kuipers, L. Moonen & P. Olivier Implementation of a prototype for the new ASF+SDF Meta-Environment http://dx.doi.org/10.14236/ewic/AL1997.5

            M.G.J van den Brand, M.P.A. Sellink & C. Verhoef Obtaining a COBOL Grammar from Legacy Code for Reengineering Purposes http://dx.doi.org/10.14236/ewic/AL1997.6

            J.J. Brunekreef An Algebraic Specification of a Transformation Tool for Prolog Programs http://dx.doi.org/10.14236/ewic/AL1997.7

            T.B. Dinesh & F. Tip A Case Study of a Slicing-Based Approach for Locating Type Errors http://dx.doi.org/10.14236/ewic/AL1997.8

            S.P. Luttik & E. Visser Specification of Rewriting Strategies http://dx.doi.org/10.14236/ewic/AL1997.9

            L. Moonen A Generic Architecture for Data Flow Analysis to Support Reverse Engineering http://dx.doi.org/10.14236/ewic/AL1997.10

            P.E. Moreau & H. Kirchner Compilation Techniques for Associative-Commutative Normalisation http://dx.doi.org/10.14236/ewic/AL1997.11

            P.D. Mosses CASL for ASF+SDF Users http://dx.doi.org/10.14236/ewic/AL1997.12

            S. Vigna Towards an Efficient Implementation of Distributive Programs http://dx.doi.org/10.14236/ewic/AL1997.13

            Author and article information

            Conference
            September 1997
            September 1997
            Article
            10.14236/ewic/AL1997.0
            f27d7a89-3c98-4d4d-bcc4-8d6d736daa5e

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications
            AL
            2
            Amsterdam
            25th-26th September 1997
            Electronic Workshops in Computing (eWiC)
            Theory and Practice of Algebraic Specifications
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article