An Algorithmic Semantics for ALGOL 60 Identifier Denotation
Journal of the ACM (JACM)
Process management and resource sharing in the multiaccess system in ESOPE
Communications of the ACM
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
The correctness of a modified SECD machine
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
The Contour Model Lambda Calculus Machine
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 results for lambda calculus interpreters
Correctness results for lambda calculus interpreters
Operational semantics of programming languages
Proceedings of ACM conference on Proving assertions about programs
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
An overview of the PAISLey project-1984
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
A technique for proving the equivalence of implementations of multi-tasking programming languages is developed and applied to proving the equivalence of the contour model and a multi-tasking version of the copy rule.