PPT-Folie
full system not bound to a specific language
additional specification features
intended to work in a compiler
also for research purposes
different interprocedural iteration algorithms
restricted specification languages
additionally predefined functionality
intended for educational purposes
restricted to a certain iteration algorithm