Aswin Anil
Static Program Analyzer
SPA (Static Program Analyzer) allows users to enter a source program (written in a subset of the language SIMPLE), parse it, build design abstractions, enter and evaluate queries and display results. It was developed by a team of 6 people.