Project Abstract:
Exception construct is introduced to semantically capture the
exceptional behavior of a porgram and is therefore widely used.
We aim to develop a framework for analyzing and automatically
optimizing exception-heavy applications, in particular optimizaing
their inter-procedure exception flows.
CoreJava, a prototype language that simplifies the Java specification
is used as our target, for which frontend tools exist for converting
Java programs into CoreJava programs. The exception constructs
are analyzed for their possible outgoing exceptions. The result of
analysis is then used for consequent optimization stage. |