Richard J. Boulton

According to our database, Richard J. Boulton authored at least 24 papers between 1992 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

Computer Assisted Reasoning.

Richard J. Boulton, Joe Hurd, Konrad Slind

J. Autom. Reason., 2009

2004

Design Verification for Control Engineering.

Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom W. Kelsey, Ursula Martin

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

The PROSPER toolkit.

Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham

Int. J. Softw. Tools Technol. Transf., 2003

A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems.

Richard J. Boulton, Ruth Hardy, Ursula Martin

Proceedings of the Hybrid Systems: Computation and Control, 2003

2002

Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor.

Jon Whittle, Alan Bundy, Richard J. Boulton

Formal Aspects Comput., 2002

2000

Object Muscat, an Open search engine.

Martin Porter, Richard J. Boulton

SIGIR Forum, 2000

The PROSPER Toolkit.

Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions.

Richard J. Boulton, Konrad Slind

Proceedings of the Computational Logic, 2000

Towards Automating Inductive Proofs for State Monads.

Richard J. Boulton

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

Transparent Optimisation of Rewriting Combinators.

Richard J. Boulton

J. Funct. Program., 1999

An ML Editor Based on Proofs-As-Programs.

Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

System Description: CyNTHIA.

Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe

Proceedings of the Automated Deduction, 1999

1998

An Interface between Clam and HOL.

Richard J. Boulton, Konrad Slind, Alan Bundy, Michael J. C. Gordon

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Generating Embeddings from Denotational Descriptions.

Richard J. Boulton

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Iterative Dialogue and Automated Proofs.

Konrad Slind, Richard J. Boulton

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

System Description: An Interface Between CL^AM and HOL.

Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy

Proceedings of the Automated Deduction, 1998

1997

A Tool to Support Formal Reasoning about Computer Languages.

Richard J. Boulton

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

1995

Combining Decision Procedures in the HOL System.

Richard J. Boulton

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

A Restricted Form on Higher-Order Rewriting Applied to an HDL Semantics.

Richard J. Boulton

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

1993

Efficiency in a fully-expansive theorem prover.

Richard J. Boulton

PhD thesis, 1993

Lazy Techniques for Fully Expansive Theorem Proving.

Richard J. Boulton

Formal Methods Syst. Des., 1993

1992

Boyer-Moore Automation for the HOL System.

Richard J. Boulton

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

A Lazy Approach to Fully-Expansive Theorem Proving.

Richard J. Boulton

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Experience with Embedding Hardware Description Languages in HOL.

Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel

Proceedings of the Theorem Provers in Circuit Design, 1992