Tree-Manipulating Systems and Church-Rosser Theorems
Journal of the ACM (JACM)
Testing for the Church-Rosser Property
Journal of the ACM (JACM)
Semantics of the Domain of Flow Diagrams
Journal of the ACM (JACM)
The denotational semantics of programming languages
Communications of the ACM
Applications of high level control flow
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
On the Relation between Direct and Continuation Semantics
Proceedings of the 2nd Colloquium on Automata, Languages and Programming
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations
The Vienna Development Method: The Meta-Language
Continuations may be unreasonable
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Models of continuations without continuations
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Retraction Approach to CPS Transform
Higher-Order and Symbolic Computation
Applicative programming and digital design
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Inter-deriving semantic artifacts for object-oriented programming
Journal of Computer and System Sciences
Denotational semantics and refinement
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Hi-index | 0.00 |