Fixpoint approach to the theory of computation
Communications of the ACM
A contribution to the development of ALGOL
Communications of the ACM
Programming language constructs for which it is impossible to obtain good hoare-like axiom systems
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Recursion and Parameter Mechanisms: An Axiomatic Approach
Proceedings of the 2nd Colloquium on Automata, Languages and Programming
Proceedings of the Symposium on Lambda-Calculus and Computer Science Theory
An analysis of parameter evaluation for recursive-procedures.
An analysis of parameter evaluation for recursive-procedures.
Finite array schemata.
Function schemata.
On the ability of structures to store and access information
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Comments on parameter passing techniques in programming languages
ACM SIGPLAN Notices
| Hi-index | 0.01 |