#### Filter Results:

- Full text PDF available (3)

#### Publication Year

1976

2000

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Christopher P. Wadsworth
- SIAM J. Comput.
- 1976

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. One of the simplest of these is a domain isomorphic to the space of all continuous functions from itself to itself, providing the first "mathematical" model for the lambda-calculus of Church and… (More)

Introduction 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) , a deductive calculus suitable for the formalisation of reasoning almut recursively defined functions, in particular about the syntax, semantics and… (More)

- Christopher P. Wadsworth
- SIAM J. Comput.
- 1978

- Michael J. C. Gordon, Robin Milner, Christopher P. Wadsworth
- Lecture Notes in Computer Science
- 1979

- Don Goodeve, Simon A. Dobson, +4 authors Christopher P. Wadsworth
- J. Parallel Distrib. Comput.
- 1998

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 is expressed through operations of shared abstract data types (SADTs). SADTs abstract low-level concerns of communication and synchronization. The exposition… (More)

- Christopher P. Wadsworth
- Higher-Order and Symbolic Computation
- 2000

- Simon A. Dobson, Christopher P. Wadsworth
- Software Engineering for Parallel and Distributed…
- 1996

We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe programs performing read and write access to unitary pieces of shared data. Extensions allow shared data to be decomposed and atomic copies to be made, reflecting the common operations… (More)

- M J Gordon, A J Milner, C P Wadsworth
- 1992

I am grateful to Andy Pitts for discussions about extending the set-theoretic semantics of HOL, and to the reviewers for helpful comments on the presentation. I have found Andrews' book 1] invaluable in working out many of the technical details of the extension to HOL proposed here. This work was carried out at the University of Cambridge under SERC grant… (More)

- ‹
- 1
- ›