ACM Computing Surveys (CSUR)
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Report on the algorithmic language ALGOL 60
Communications of the ACM
The correctness of a modified SECD machine
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Correctness results for lambda calculus interpreters
Correctness results for lambda calculus interpreters
Algol-60 Implementation
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)
The contour model of block structured processes
ACM SIGPLAN Notices
ACM SIGPLAN Notices
The equivalence of sequential and associate information structure models
ACM SIGPLAN Notices
CONS should not CONS its arguments, or, a lazy alloc is a smart alloc
ACM SIGPLAN Notices
CONS should not CONS its arguments, part II: Cheney on the M.T.A.
ACM SIGPLAN Notices
The Vienna Definition Language
ACM Computing Surveys (CSUR)
Implementation Strategies for First-Class Continuations
Higher-Order and Symbolic Computation
Picture systems, PS, and the design of a channel-to-channel computer interface
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
Formalizing Implementation Strategies for First-Class Continuations
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Two PARALLEL EULER run time models: The dangling reference, impostor environment, and label problems
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
Proceedings of ACM conference on Proving assertions about programs
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
The “most recent” error: Its causes and correction
Proceedings of ACM conference on Proving assertions about programs
Correctness of data representations (Extended Abstract): Pointers in high level languages
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
A model of a modular interactive system
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Two parallel EULER run time models: the dangling reference, impostor environment, and label problems
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
Pointers and data abstractions in high level languages-I: Language proposals
Computer Languages
Hi-index | 0.00 |
The question as to the correct block exit strategy, retention or deletion, is resolved by formally comparing the contour model and the stack model, each of which implements one of the strategies, to the copy rule, a formal definition of block structuring.