Implementation of SAPP/PASS Specifications

This chapter describes how SAPP/PASS specifications are transformed into different types of programmins languages.