BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
sdf (19)
environ (12)
meta (8)
transform (3)
base (3)

Stem asf$ (all stems)

19 papers:

ICMTICMT-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.
GTTSEGTTSE-2005-Brand #asf+sdf #ide
Applications of the Asf+Sdf Meta-Environment (MvdB), pp. 278–296.
LDTALDTA-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.
LDTALDTA-2002-Mosses #action semantics #asf+sdf #semantics
Action Semantics and ASF+SDF: System Demonstration (PDM), pp. 2–8.
LDTALDTA-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.
LDTALDTA-2001-LammelW #asf+sdf #ide #syntax
Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment (RL, GW), pp. 9–33.
CCCC-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.
WRLAWRLA-2000-BrandR #asf+sdf #parsing #tool support
ASF+SDF parsing tools applied to ELAN (MvdB, CR), pp. 138–157.
CCCC-1999-BrandKO #asf+sdf #compilation #memory management
Compilation and Memory Management for ASF+SDF (MvdB, PK, PAO), pp. 198–213.
ASF+SDFASF+SDF-1997-BrandHK #asf+sdf #ide #legacy
Renovation of the ASF+SDF meta-environment: current state of affairs (MvdB, JH, PK), p. 4.
ASF+SDFASF+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+SDFASF+SDF-1997-Mosses #asf+sdf
CASL for ASF+SDF users (PDM), p. 12.
ASF+SDFASF+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+SDFASF+SDF-1995-BrandEGMOP #asf+sdf #program transformation #using
Program Transformations using ASF+SDF (MvdB, SME, DKAG, HM, MJFP, HRO), pp. 29–52.
ASF+SDFASF+SDF-1995-HeeringK #asf+sdf
The Prehistory of ASF+SDF (1980-1984) (JH, PK), pp. 1–4.
ASF+SDFASF+SDF-1995-KampermanW #compilation #self
The New ASF Compiler — An Exercise in Self-Applicability (JFTK, HRW), pp. 271–293.
ASF+SDFASF+SDF-1995-Klint #asf+sdf #evolution #ide #implementation
The Evolution of Implementation Techniques in the ASF+SDF Meta-environment (PK), pp. 5–26.
ASF+SDFASF+SDF-1995-NaidichD #asf+sdf #automation #induction #proving #specification
Specifying an Automated Induction Proof Procedure in ASF+SDF (DN, TBD), pp. 233–254.
ASF+SDFASF+SDF-1995-Vigna #asf+sdf #case study #specification #using
Specifying Imp(G) Using ASF+SDF: A Case Study (SV), pp. 65–88.

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.