The “most recent” error: Its causes and correction

Authors:
Clement L. McGowan
Affiliations:
Center for Computer & Information Sciences, Division of Applied Mathematics, Brown University, Providence, Rhode Island
Venue:
Proceedings of ACM conference on Proving assertions about programs
Year:
1972

Citing 4
Cited 5

Revised report on the algorithm language ALGOL 60

Communications of the ACM
Block structure (Extended Abstract): Retention or deletion?

STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Programming Languages, Information Structures, and Machine Organization.

Programming Languages, Information Structures, and Machine Organization.
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)

The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)

Ten Years of Hoare's Logic: A Survey—Part I

ACM Transactions on Programming Languages and Systems (TOPLAS)
Operational semantics of programming languages

Proceedings of ACM conference on Proving assertions about programs
The equivalence of models of tasking

Proceedings of ACM conference on Proving assertions about programs
Optimal interprocedural program optimization: a new framework and its application

Optimal interprocedural program optimization: a new framework and its application
Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

The notion of a general block structured programming language and the “most recent” evaluation strategy for such a language are formalized and their relationship investigated. Sufficient conditions for “most recent” correctness are obtained.