A prominent feature of the lattice-theoretic approach to the theory of computation due to D. Scott is the construction of solutions for isomorphic domain equations.Expand

LCF (Icqic for Caqmtable Functions) is a prcof generating system mnsisting of an interactive programing language MG (MetaLmguage) for mnducting prcofs in PPA (Polynmrphic Predicate A-calculus) .Expand

This paper describes a method of giving the mathematical semantics of a programming language which includes a very general form of jump (goto statement).Expand

To introduce the republication of his joint 1974 paper with Christopher Strachey, “Continuations: A Mathematical Semantics for Handling Full Jumps”, the author recalls earlier unsuccessful struggles… Expand

This paper demonstrates the utility of typed shared data abstractions as an effective high-level means of structuring and coordinating parallel programs, showing that SADTs are compatible with efficient and scalable implementation.Expand

Software Engineering for Parallel and Distributed…

1 March 1996

TLDR

We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra.Expand

This paper demonstrates the utility of typed shared data abstractions as an effective high-level means of structuring and coordinating parallel programs. Access to data shared by concurrent processes… Expand