AN EXPANSIVE VIEW OF REUSABLE SOFTWARE

[1] SYNTACTIC SOURCE TO SOURCE TRANSFORMS AND PROGRAM MANIPULATION [J]. COMMUNICATIONS OF THE ACM, 1979, 22 (01) : 43 - 54

[2] INFORMALITY IN PROGRAM SPECIFICATIONS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (02) : 94 - 103

[3] Balzer R., 1979, Proceedings of Specifications of Reliable Software, P58

[4] BALZER R, 1973, 3RD INT JOINT C ART, P494

[5] BALZER RM, 1981, USCISI ISIRR7979 TEC

[6] BALZER RM, 1976, 2ND P INT C SOFTW EN, P58

[7] Belady L.A, 1979, RES DIRECTIONS SOFTW

[8] Biermann A. W., 1976, Advances in computers, vol.15, P1

[9] TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J]. JOURNAL OF THE ACM, 1977, 24 (01) : 44 - 67

[10] COOPRIDER L, 1981, META PROGRAMMING

[1] SYNTACTIC SOURCE TO SOURCE TRANSFORMS AND PROGRAM MANIPULATION [J]. COMMUNICATIONS OF THE ACM, 1979, 22 (01) : 43 - 54

[2] INFORMALITY IN PROGRAM SPECIFICATIONS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (02) : 94 - 103

[3] Balzer R., 1979, Proceedings of Specifications of Reliable Software, P58

[4] BALZER R, 1973, 3RD INT JOINT C ART, P494

[5] BALZER RM, 1981, USCISI ISIRR7979 TEC

[6] BALZER RM, 1976, 2ND P INT C SOFTW EN, P58

[7] Belady L.A, 1979, RES DIRECTIONS SOFTW

[8] Biermann A. W., 1976, Advances in computers, vol.15, P1

[9] TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J]. JOURNAL OF THE ACM, 1977, 24 (01) : 44 - 67

[10] COOPRIDER L, 1981, META PROGRAMMING