论文信息 - Computational Processes Generated by Programs with Recursive Procedures and Block Structures - 字舞流文

Computational Processes Generated by Programs with Recursive Procedures and Block Structures

Tomasz Müldner | Andrzej Salwicki

[1] Grazyna Mirkowska,et al. A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures , 1976, MFCS.

[2] Friedrich L. Bauer,et al. Revised report on the algorithm language ALGOL 60 , 1963, CACM.