Paul Singleton

Publication Activity (10 Years)

Years Active: 1986-1995
Publications (10 Years): 0

Keele University, UK (PHD)

Education History

Keele University, UK

PHD

Publications

Pearl Brereton, Paul Singleton
Deductive Software Building. SCM (1995)
Pearl Brereton, Paul Singleton
A deductive infrastructure for exploratory software evolution. SEKE (1994)
Paul Singleton, Pearl Brereton
A Case for Declarative Programming-in-the-Large. SEKE (1993)
Paul Singleton, Pearl Brereton
Storage and Retrieval of First-order Terms Using a Relational Database. BNCOD (1993)
Paul Singleton, O. Pearl Brereton
A logic database for software release engineering. ICSM (1990)
Keith H. Bennett, Pearl Brereton, Paul Singleton, K. Lunn
Virtual files in a distributed environment. Inf. Process. Manag. 22 (5) (1986)
Paul Singleton, Keith H. Bennett, Pearl Brereton
A Single Model for Files and Processes. ACM SIGOPS Oper. Syst. Rev. 20 (1) (1986)