Design recovery of a PT Pascal compiler

Many large software systems are written in different languages. Some of them have one or more important modules that are written in a language other than the conventional procedural or object oriented languages. These languages are often translated into byte code and can be executed by an interpreter. Sometimes, the interpreter is written in the same language as the rest of the application. This thesis investigates a technique for linking the interpreted languages to their implementation in the interpreter using a PT Pascal compiler written in S/SL and PT Pascal. A model extracted from the source code that links entities in S/SL to the underlying implementation language and some example queries against the compiler are presented. To assist developers retrieve information from the extracted model, we also built a web based query engine. Extracting the model requires recognizing idiomatic code in the interpreter. The design recovery technique can be extended to similar systems such as those implemented in Tcl and Yacc.