The Language Specification Formalism ASF+SDF
M.G.J. van deBrand, Paul Klint, Jurgen J. Vinju · 2008
Introduction to ASF+SDF 1 Why use ASF+SDF? 2 How to use ASF+SDF? 2 Learning more 2 The connection between ASF and SDF 3 Overview 3 Simple ASF+SDF 4 The Equations Section 5 Unconditional Equations 5 Conditional Equations 5 Executing Equations 6 Examples 7 Tests 13 Advanced Equations 13 Default Equations 14 List Matching 15 Memo Functions 19 Constructor Functions 20 Lexical Constructor Functions 21 Traversal Functions 22 Well-formedness of ASF+SDF 25 A Matter of Style 25 Further Reading 27 Bibliography 28