Richard J. Boulton

Publication Activity (10 Years)

Years Active: 1992-2009
Publications (10 Years): 0

Publications

Richard J. Boulton, Joe Hurd, Konrad Slind
Computer Assisted Reasoning. J. Autom. Reason. 43 (3) (2009)
Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin
Design Verification for Control Engineering. IFM (2004)
Richard J. Boulton, Ruth Hardy, Ursula Martin
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems. HSCC (2003)
Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham
The PROSPER toolkit. Int. J. Softw. Tools Technol. Transf. 4 (2) (2003)
Jon Whittle, Alan Bundy, Richard J. Boulton
Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. Formal Aspects Comput. 13 (3-5) (2002)
Martin Porter, Richard J. Boulton
Object Muscat, an Open search engine. SIGIR Forum 34 (1) (2000)
Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham
The PROSPER Toolkit. TACAS (2000)
Richard J. Boulton, Konrad Slind
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions. Computational Logic (2000)
Richard J. Boulton
Towards Automating Inductive Proofs for State Monads. ARW (2000)
Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
An ML Editor Based on Proofs-As-Programs. ASE (1999)
Richard J. Boulton
Transparent Optimisation of Rewriting Combinators. J. Funct. Program. 9 (2) (1999)
Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
System Description: CyNTHIA. CADE (1999)
Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy
M and HOL. CADE (1998)
Richard J. Boulton, Konrad Slind, Alan Bundy, Michael J. C. Gordon
An Interface between Clam and HOL. TPHOLs (1998)
Richard J. Boulton
Generating Embeddings from Denotational Descriptions. TPHOLs (1998)
Konrad Slind, Richard J. Boulton
Iterative Dialogue and Automated Proofs. FroCoS (1998)
Richard J. Boulton
A Tool to Support Formal Reasoning about Computer Languages. TACAS (1997)
Richard J. Boulton
A Restricted Form on Higher-Order Rewriting Applied to an HDL Semantics. RTA (1995)
Richard J. Boulton
Combining Decision Procedures in the HOL System. TPHOLs (1995)
Richard J. Boulton
Lazy Techniques for Fully Expansive Theorem Proving. Formal Methods Syst. Des. 3 (1/2) (1993)
Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel
Experience with Embedding Hardware Description Languages in HOL. TPCD (1992)
Richard J. Boulton
A Lazy Approach to Fully-Expansive Theorem Proving. TPHOLs (1992)
Richard J. Boulton
Boyer-Moore Automation for the HOL System. TPHOLs (1992)