Common-concepts
Concepts that are common to different APT transformations.
Subtopics
- Function-name-generation
- How APT transformations generate function names.
- Specification-forms
- Forms of specifications handled by certain APT transformations.
- Redundancy
- Notion of redundancy for APT transformations.
