Uniform transformational development
- 114 Downloads
This chapter relates the uniformity of the methodological approach to program and meta-program development (for transformation, proof and development tactics, command language, even library access and system configuration, cf. part I chapter 1) to the generic structure of the PROSPECTRA system. See also chapter 2 for an introduction to the system as a Guided Tour.
KeywordsTarget Language Local Theory Abstract Syntax Proof Obligation Transformational Development
Unable to display preview. Download preview PDF.