Sdf Documentation

• A Quick Introduction To SDF describes the essence of SDF2 in 3 pages.

• Section 4.2 of the chapter Program Representation of the book Strategies for Program Transformation provides an introduction into syntax definition using SDF.

• ASF+SDF Meta-Environment User Manual. Chapter 2 "An Introduction to ASF+SDF" introduces the SDF and ASF languages. The "Equations" section is the ASF specific part. All other sections are useful if you want to learn SDF.