19 papers:
ICMT-2009-AmstelLB #asf+sdf #metric #model transformation #quality #using- Using Metrics for Assessing the Quality of ASF+SDF Model Transformations (MvA, CFJL, MvdB), pp. 239–248.
GTTSE-2005-Brand #asf+sdf #ide- Applications of the Asf+Sdf Meta-Environment (MvdB), pp. 278–296.
LDTA-2002-BrandMR #asf+sdf #logic- The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology — System Demonstration (MvdB, PEM, CR), pp. 50–56.
- LDTA-2002-Mosses #action semantics #asf+sdf #semantics
- Action Semantics and ASF+SDF: System Demonstration (PDM), pp. 2–8.
- LDTA-2001-BrandDHJJKKMOSVVV #asf+sdf #component #development #ide
- The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment (MvdB, AvD, JH, HAdJ, MdJ, TK, PK, LM, PAO, JS, JJV, EV, JV), pp. 3–8.
- LDTA-2001-LammelW #asf+sdf #ide #syntax
- Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment (RL, GW), pp. 9–33.
CC-2001-BrandDHJJKKMOSVVV #asf+sdf #component #development #ide- The ASF+SDF Meta-environment: A Component-Based Language Development Environment (MvdB, AvD, JH, HAdJ, MdJ, TK, PK, LM, PAO, JS, JJV, EV, JV), pp. 365–370.
WRLA-2000-BrandR #asf+sdf #parsing #tool support- ASF+SDF parsing tools applied to ELAN (MvdB, CR), pp. 138–157.
- CC-1999-BrandKO #asf+sdf #compilation #memory management
- Compilation and Memory Management for ASF+SDF (MvdB, PK, PAO), pp. 198–213.
ASF+SDF-1997-BrandHK #asf+sdf #ide #legacy- Renovation of the ASF+SDF meta-environment: current state of affairs (MvdB, JH, PK), p. 4.
- ASF+SDF-1997-BrandKMO #asf+sdf #ide #implementation #prototype
- Implementation of a prototype for the new ASF+SDF meta-environment (MvdB, TK, LM, PO), p. 5.
- ASF+SDF-1997-Mosses #asf+sdf
- CASL for ASF+SDF users (PDM), p. 12.
- ASF+SDF-1995-Brand #asf+sdf #ide #past present future #pretty-printing
- Pretty printing in the ASF+SDF Meta-environment: Past, Present, and Future (MvdB), pp. 155–174.
- ASF+SDF-1995-BrandEGMOP #asf+sdf #program transformation #using
- Program Transformations using ASF+SDF (MvdB, SME, DKAG, HM, MJFP, HRO), pp. 29–52.
- ASF+SDF-1995-HeeringK #asf+sdf
- The Prehistory of ASF+SDF (1980-1984) (JH, PK), pp. 1–4.
- ASF+SDF-1995-KampermanW #compilation #self
- The New ASF Compiler — An Exercise in Self-Applicability (JFTK, HRW), pp. 271–293.
- ASF+SDF-1995-Klint #asf+sdf #evolution #ide #implementation
- The Evolution of Implementation Techniques in the ASF+SDF Meta-environment (PK), pp. 5–26.
- ASF+SDF-1995-NaidichD #asf+sdf #automation #induction #proving #specification
- Specifying an Automated Induction Proof Procedure in ASF+SDF (DN, TBD), pp. 233–254.
- ASF+SDF-1995-Vigna #asf+sdf #case study #specification #using
- Specifying Imp(G) Using ASF+SDF: A Case Study (SV), pp. 65–88.
