Reuse of ASF+SDF Specifications by means of Renaming

[1]  Bob Diertens.  Simulation and Animation of Process Algebra Specifications , 1997 .

[2]  Eelco Visser,et al.  Generation of formatters for context-free languages , 1996, TSEM.

[3]  Paul Klint,et al.  Core Technologies for System Renovation , 1996, SOFSEM.

[4]  H. R. Walters,et al.  ARM abstract rewriting machine , 1993 .

[5]  Chris Verhoef,et al.  Reengineering COBOL Software Implies Specification of the Underlying Dialects , 1997 .

[6]  Martin Doerr,et al.  Repositories for Software Reuse: The Software Information Base , 1993, Information System Development Process.

[7]  Arie van Deursen,et al.  Language Prototyping: An Algebraic Specification Approach , 1996, AMAST Series in Computing.

[8]  Jan A. Bergstra,et al.  An Arithmetical Module for Rationals and Reals , 1997 .

[9]  Paul Klint,et al.  Re-engineering needs generic programming language technology , 1997, SIGP.

[10]  M. van der Graaf,et al.  A Specification of Box to HTML in ASF+SDF , 1997 .

[11]  M. P. A. Sellink.  Participants Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications , 1997 .

[12]  M.P.A. Sellink.  Transforming an ASF+SDF Specification into a ToolBus Application , 1996 .

[13]  Alex Sellink,et al.  A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes , 1995, Formal Aspects of Computing.

[14]  Jan Heering.  Implementing higher-order algebraic specifications , 1991 .

[15]  Eelco Visser.  A Family of Syntax Deenition Formalisms , 1995 .

[16]  P. I. Manuel,et al.  ANSI Cobol III in SDF + an ASF Definition of a Y2K Tool , 1996 .

[17]  Leon Moonen,et al.  A generic architecture for data flow analysis to support reverse engineering , 1997 .

[18]  Eelco Visser.  Solving type equations in multi-level specifications (preliminary version) , 1996 .

[19]  H. M. Sneed.  Dealing with the Dual Crisis - Year 2000 and Euro - What Reverse Engineering can do to Help , 1997 .

[20]  L.M.F. Moonen,et al.  Data Flow Analysis for Reverse Engineering , 1996 .

[21]  Jan A. Bergstra,et al.  A propositional logic with 4 values: true, false, divergent and meaningless , 1995, J. Appl. Non Class. Logics.

[22]  Jan A. Bergstra,et al.  Sequential data algebra primitives , 1996 .

[23]  Leon Moonen,et al.  Implementation of a prototype for the new ASF+SDF meta-environment , 1997 .

[24]  T. Broadbent,et al.  Module Algebra , 1970, Nature.

[25]  P. Klint,et al.  Reverse engineering and system renovation—an annotated bibliography , 1997, SOEN.

[26]  Vincent Partington,et al.  Implementation of an Imperative Programming Language with Backtracking , 1997 .

[27]  Chris Verhoef,et al.  Control flow normalization for COBOL/CICS legacy systems , 1998, Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering.

[28]  Eelco Visser,et al.  Scannerless Generalized-LR Parsing , 1997 .

[29]  Jan A. Bergstra,et al.  Sequential data algebra primitives (revised version of P9602) , 1996 .

[30]  Timothy A. Budd,et al.  An introduction to object-oriented programming , 1991 .

[31]  J. J. Brunekreef.  A transformation tool for pure Prolog programs: the algebraic specification , 1996 .

[32]  Stephen J. Garland,et al.  Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.

[33]  Wan Fokkink,et al.  An SOS Message: Conservative Extension in Higher Order Positive/Negative Conditional Term Rewriting , 1997 .

[34]  Eelco Visser.  Syntax and Static Semantics of Eiffel - A Case Study in Algebraic Specification Techniques , 1992 .

[35]  Chris Verhoef,et al.  A General Conservative Extension Theorem in Process Algebra , 1994, PROCOMET.

[36]  E. Visser,et al.  Polymorphic Syntax Deenition , 1997 .

[37]  Jürgen Uhl,et al.  A Systematic Catalogue of Reusable Abstract Data Types , 1990, Lecture Notes in Computer Science.

[38]  Alex Sellink.  On the Conservativity of Leibniz Equality , 1998, Int. J. Found. Comput. Sci..

[39]  Glenford J. Myers,et al.  Structured Design , 1999, IBM Syst. J..

[40]  T. B. Dinesh,et al.  Specifying Input and Output of Visual Languages , 1996 .

[41]  Paul Klint,et al.  The syntax definition formalism SDF—reference manual— , 1989, SIGP.

[42]  Paul Klint,et al.  A meta-environment for generating programming environments , 1989, TSEM.