Merijn de Jonge  Home/Search
Context
Related
| cwi.nl/~paulk/theses/DeJonge.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cwi.nl/~paulk/theses/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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