论文信息 - Modifications of the Program Scheme Model - 字舞流文

Modifications of the Program Scheme Model

Abstract In [7] Paterson defined a formal model for abstract programs and proved many results about such schemas. In this paper we place minor modifications on the Paterson model, and consider the significance of these changes.

Elaine J. Weyuker | E. Weyuker

[1] Zohar Manna,et al. Translating Program Schemas to While-Schemas , 1975, SIAM J. Comput..

[2] Sheila A. Greibach,et al. Theory of Program Structures: Schemes, Semantics, Verification , 1976, Lecture Notes in Computer Science.

[3] David C. Luckham,et al. On Formalised Computer Programs , 1970, J. Comput. Syst. Sci..

[4] Robert L. Constable. Review: Sheila A. Greibach, Theory of Program Structures: Schemes, Semantics, Verification , 1978 .

[5] Michael Stewart Paterson,et al. Equivalence Problems in a Model of Computation , 1967 .

[6] Ashok Kumar Chandra. On the properties and applications of program schemas , 1973 .

[7] Harry R. Lewis,et al. Program Schemata and the First-Order Decision Problem , 1974, J. Comput. Syst. Sci..