This document presents an annotation framework for statically typed syntax trees that allows generating parsers and abstract syntax trees from annotated context-free grammars. Key contributions include a grammar-independent annotation approach, a definition of statically typed AST specifications, and a prototype parser generator. The framework uses annotations to specify the types of values nodes produce, supporting scalar, string, node reference, and list values. An example grammar for a simple language is annotated to demonstrate the approach. The prototype implementation generates scanners, parsers producing the specified ASTs, AST node classes, and visitor code from annotated grammars.

1. An Annotation Framework for Statically-Typed Syntax Trees Loren Abrams Ray Toal Loyola Marymount University Los Angeles CA USA IASTED SEA 2009 2009-11-03

18. Questions?