Adrian Johnstone, Anthony M. Sloane, John Tang Boyland
Special Issue on Language Descriptions, Tools and Applications — LDTA 2006 & LDTA 2007
LDTA-J-2007, 2010.

@proceedings{LDTA-J-2007,
	editor        = "Adrian Johnstone and Anthony M. Sloane and John Tang Boyland",
	journal       = "{Science of Computer Programming}",
	number        = "1-2",
	title         = "{Special Issue on Language Descriptions, Tools and Applications — LDTA 2006 & LDTA 2007}",
	volume        = 75,
	year          = 2010,
}

Contents (5 items)

2 ×#attribute grammar
2 ×#using

LDTA-J-2007-CamachoMBV #automation #generative #tool support #using #verification

Automated generation of program translation and verification tools using annotated grammars (DOC, KM, MvdB, JJV), pp. 3–20.

LDTA-J-2007-AkessonEH #attribute grammar #compilation #implementation #jastadd #using

Implementation of a Modelica compiler using JastAdd attribute grammars (JÅ, TE, GH), pp. 21–38.

LDTA-J-2007-WykBGK #attribute grammar #named

Silver: An extensible attribute grammar system (EVW, DB, JG, LK), pp. 39–54.

LDTA-J-2007-ScottJ #parsing #polynomial #recognition

Recognition is not parsing — SPPF-style parsing from cubic recognisers (ES, AJ), pp. 55–70.

LDTA-J-2007-Schmitz #ambiguity #detection

An experimental ambiguity detection tool (SS), pp. 71–84.