共 50 条
- [44] APL PROGRAM FOR BILINEAR TRANSFORMATIONS IEEE TRANSACTIONS ON ACOUSTICS SPEECH AND SIGNAL PROCESSING, 1974, AS22 (03): : 225 - 226
- [47] EQUIVALENCY AND TRANSFORMATIONS OF PROGRAM SCHEMES DOKLADY AKADEMII NAUK SSSR, 1957, 113 (01): : 39 - 42
- [48] Specification method of program transformations Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 35 (01): : 87 - 90
- [49] Automating Mathematical Program Transformations PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2010, 5937 : 134 - +
- [50] Mathematical foundations for program transformations LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 1999, 1559 : 319 - 321