Abstract

In this thesis, we introduce SableCC, an object-oriented framework that generates compilers (and interpreters) in the Java programming language. This framework is based on two fundamental design decisions. Firstly, the framework uses objectoriented techniques to automatically build a strictly-typed abstract syntax tree that matches the grammar of the compiled language and simplifies debugging. Secondly, the framework generates tree-walker classes using an extended version of the visitor syntax tree using inheritance. These two design decisions lead to a tool that supports a shorter development cycle for constructing compilers. To demonstrate the simplicity of the framework, we discuss the implementation of a state-of-the-art almost linear time points-to analysis. We also provide a brief description of other systems that have been implemented using the SableCC tool. We conclude that the use of object-oriented techniques significantly reduces the length of the programmer written code, can shorten the development time and finally,

Citations

4647	Design patterns: elements of reusable object-oriented software - Gamma, Helm, et al. - 1995
1541	The Java Language Specification - Gosling, Joy, et al. - 1996
318	The TEX book - Knuth - 1986
15	The FORTRAN automatic coding system - Backus, Beeber, et al. - 1957
9	F.Yellin, The Java Virtual Machine Specification, 2nd edition - Lindholm - 1999
2	Html 4.0 specification - W3C - 1997
1	version 2.3 (ballot draft 3 - Hl7 - 1997
1	World-Wide Web page URL: http://www.suntest.com - Javacc
1	Antlr 2.0. World-Wide Web page URL: http://www.antlr.org - Institute