See this document in CiteSeerX!

Reuse of ASF+SDF Specifications by means of Renaming (1997)  (Make Corrections)  
Merijn de Jonge



  Home/Search   Context   Related

 
View or download:
cwi.nl/~paulk/theses/DeJonge.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cwi.nl/~paulk/theses/index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Data Types . Wiley Teubner. Mauw, S. and Veltink, G. J. (1990). A process specification formalism. Fundamenta Informaticae, XIII, 85--139. Moineau, T. and Gaudel, M. C. (1992). Software reusability through formal specification. In Methods and Tools for Software Reuse, ERCIM Workshop Reports, pages 17--40. Moonen, L. (1996a). Data Flow Analysis for Reverse Engineering . Master's thesis, University of Amsterdam, Programming Research Group. Moonen, L. (1996b). Graph tools . available at... (Update)

Active bibliography (related documents):   More   All
1.4:   A specification of Box to HTML in ASF+SDF - van der Graaf (1997)   (Correct)
1.0:   An SOS Message: Conservative Extension in Higher-Order.. - Fokkink, Verhoef (1997)   (Correct)
1.0:   A formal axiomatization for alphabet reasoning with.. - Korver, Sellink (1997)   (Correct)

Similar documents based on text:   More   All
1.0:   The ASF+SDF Meta-Environment: a Component-Based.. - van den Brand.. (2001)   (Correct)
0.8:   Pretty-Printing within the ASF+SDF Meta-Environment: a.. - van den Brand, de Jonge (1999)   (Correct)
0.7:   HASDF: A Generalized LR-parser generator for Haskell - de Jonge, Kuipers, Visser (1999)   (Correct)

BibTeX entry:   (Update)

@misc{ jonge-reuse,
  author = "Merijn de Jonge",
  title = "Reuse of ASF+SDF Specifications by means of Renaming",
  url = "citeseer.ist.psu.edu/dejonge97reuse.html" }
Citations (may not include all citations):
31   Sequential data algebra primitives - Bergstra, Sellink
20   Specifying input and output of visual languages - Dinesh, Uskudarli
18   Data Flow Analysis for Reverse Engineering - Moonen
17   The VAS formalism in VASE - Dinesh, Uskudarli
17   Multi-level specifications - Visser
17   ANSI Cobol III SDF + ASF Definition YK Tool - Cobol, an et al.
16   A transformation tool for pure Prolog programs: the algebrai.. - Brunekreef
16   the conservativity of Leibniz Equality - Sellink
16   A Complete System of Four-valued Logic (context) - Rodenburg
16   Transformations of Reduction Systems - Luttik, Rodenburg
16   A small language for the specification of Grid Protocols - Hillebrand
15   Core Technologies for System Renovation - van den Brand, Klint et al.
15   SDF Specification into a ToolBus Application (context) - Hillebrand, ASF
14   A Formal Axiomatization for Alphabet Reasoning with Parametr.. - Korver, Sellink
14   Re-engineering needs Generic Programming Language Technology - van den Brand, Klint et al.
14   Polymorphic Syntax Definition - Visser
13   A general conservative extension theorem (context) - D'Argenio, Verhoef
13   Solving type equations in multi-level specifications - Visser
7   Reverse engineering and system renovation: an annotated bibl.. (context) - van den Brand, Klint et al.
3   Reengineering COBOL Software Implies Specification of the Un.. - van den Brand, Sellink et al.

Documents on the same site (http://www.cwi.nl/~paulk/theses/index.html):   More
Seal versus the ToolBus - Olivier (1994)   (Correct)
A Visualisation Framework for ToolBus Applications - de Jong (1999)   (Correct)
Optimizations of List Matching in the ASF+SDF Compiler - Vinju (1999)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC