论文信息 - Towards a nonstandard analysis of programs - 字舞流文

Towards a nonstandard analysis of programs

M. M. Richter | M. E. Szabo

[1] Fred Kröger. Logical Rules of Natural Reasoning about Programs , 1976, ICALP.

[2] Edward Nelson. Internal set theory: A new approach to nonstandard analysis , 1977 .

[3] István Németi,et al. Nonstandard runs of Floyd-provable programs , 1980, Logic of Programs.

[4] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.

[5] Manfred E. Szabo. A sequent calculus for Kröger logic , 1980, Logic of Programs.

[6] C. A. R. Hoare,et al. Procedures and parameters: An axiomatic approach , 1971, Symposium on Semantics of Algorithmic Languages.

[7] L. Csirmaz. Programs and Program Verifications in a General Setting , 1981, Theor. Comput. Sci..

[8] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.

[9] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..

[10] Michael M. Richter. Ideale Punkte, Monaden und Nichtstandard-Methoden , 1982 .

[11] Ildikó Sain,et al. A Characterization of Floyd-Provable Programs , 1981, MFCS.