论文信息 - Applied Algorithmic Logic

Applied Algorithmic Logic

This is a survey of the last year's work of the group of algorithmic logic. Our studies have concetrated on two (not disjoint) tasks: design of programming language LOGLAN 77. studies of computational complexity.

Andrzej Salwicki

[1] Donald Ervin Knuth,et al. The Art of Computer Programming , 1968 .

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

[3] Andrzej Salwicki. Procedures, Formal Computations and Models , 1974, MFCS.

[4] C. A. R. Hoare,et al. Monitors: an operating system structuring concept , 1974, CACM.

[5] Andrzej Salwicki. An Algorithmic Approach to Set Theory , 1977, FCT.

[6] Alfred V. Aho,et al. The Design and Analysis of Computer Algorithms , 1974 .