BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
asf+sdf
Google asf+sdf

Tag #asf+sdf

19 papers:

ICMTICMT-2009-AmstelLB #metric #model transformation #quality #using
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations (MvA, CFJL, MvdB), pp. 239–248.
GTTSEGTTSE-2005-Brand #ide
Applications of the Asf+Sdf Meta-Environment (MvdB), pp. 278–296.
LDTALDTA-2002-BrandMR #logic
The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology — System Demonstration (MvdB, PEM, CR), pp. 50–56.
LDTALDTA-2002-Mosses #action semantics #semantics
Action Semantics and ASF+SDF: System Demonstration (PDM), pp. 2–8.
LDTALDTA-2001-BrandDHJJKKMOSVVV #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.
LDTALDTA-2001-LammelW #ide #syntax
Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment (RL, GW), pp. 9–33.
CCCC-2001-BrandDHJJKKMOSVVV #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.
WRLAWRLA-2000-BrandR #parsing #tool support
ASF+SDF parsing tools applied to ELAN (MvdB, CR), pp. 138–157.
CCCC-1999-BrandKO #compilation #memory management
Compilation and Memory Management for ASF+SDF (MvdB, PK, PAO), pp. 198–213.
ASF+SDFASF+SDF-1997-BrandHK #ide #legacy
Renovation of the ASF+SDF meta-environment: current state of affairs (MvdB, JH, PK), p. 4.
ASF+SDFASF+SDF-1997-BrandKMO #ide #implementation #prototype
Implementation of a prototype for the new ASF+SDF meta-environment (MvdB, TK, LM, PO), p. 5.
ASF+SDFASF+SDF-1997-Mosses
CASL for ASF+SDF users (PDM), p. 12.
ASF+SDFASF+SDF-1995-Brand #ide #past present future #pretty-printing
Pretty printing in the ASF+SDF Meta-environment: Past, Present, and Future (MvdB), pp. 155–174.
ASF+SDFASF+SDF-1995-BrandEGMOP #program transformation #using
Program Transformations using ASF+SDF (MvdB, SME, DKAG, HM, MJFP, HRO), pp. 29–52.
ASF+SDFASF+SDF-1995-HeeringK
The Prehistory of ASF+SDF (1980-1984) (JH, PK), pp. 1–4.
ASF+SDFASF+SDF-1995-Klint #evolution #ide #implementation
The Evolution of Implementation Techniques in the ASF+SDF Meta-environment (PK), pp. 5–26.
ASF+SDFASF+SDF-1995-NaidichD #automation #induction #proving #specification
Specifying an Automated Induction Proof Procedure in ASF+SDF (DN, TBD), pp. 233–254.
ASF+SDFASF+SDF-1995-Vigna #case study #specification #using
Specifying Imp(G) Using ASF+SDF: A Case Study (SV), pp. 65–88.
TAPSOFTTAPSOFT-1995-BrandV #documentation #exclamation #for free #ide #tool support
The Asf+Sdf Meta-Environment Documentation Tools for Free! (MvdB, EV), pp. 803–804.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.