共 50 条
- [42] EFFICIENT SYMBOLIC ANALYSIS OF PROGRAMS. Journal of Computer and System Sciences, 1986, 32 (03): : 280 - 314
- [45] METHODOLOGY FOR DEVELOPING DISTRIBUTED PROGRAMS. IEEE Transactions on Software Engineering, 1987, SE-13 (08): : 967 - 976
- [46] ALGORITHMS OF STRUCTURED SYNTHESIS OF PROGRAMS. Programming and Computer Software (English Translation of Programmirovanie), 1980, 6 (04): : 165 - 175
- [47] INTERACTIVE SHELL FOR BATCH PROGRAMS. Microcomputers in Civil Engineering, 1986, 1 (02): : 155 - 164