behavior preserving program transformations

Glossaries

Term	Main definition
behavior preserving program transformations	行为保留式程序转换1