Object-Oriented Declarative Program Analysis
This thesis deals with techniques for raising the programming level for a particular kind of computations, namely those on abstract syntax trees. Such computations are central in many program analysis tools, such as compilers, smart language-sensitive editors, and static analysis tools. All techniques presented in this thesis support modular description and efficiency and are capable of handling l
