SPA (Static Program Analyzer) allows the user 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.