共 50 条
- [22] PROGRAM TRANSFORMATIONS IN A DENOTATIONAL SETTING ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (03): : 359 - 379
- [27] APL PROGRAM FOR BILINEAR TRANSFORMATIONS IEEE TRANSACTIONS ON ACOUSTICS SPEECH AND SIGNAL PROCESSING, 1974, AS22 (03): : 225 - 226
- [29] EQUIVALENCY AND TRANSFORMATIONS OF PROGRAM SCHEMES DOKLADY AKADEMII NAUK SSSR, 1957, 113 (01): : 39 - 42
- [30] Specification method of program transformations Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 35 (01): : 87 - 90