# Richard J. Boulton

According to our database

Collaborative distances:

^{1}, Richard J. Boulton authored at least 21 papers between 1992 and 2009.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2009

Computer Assisted Reasoning.

J. Autom. Reasoning, 2009

2004

Design Verification for Control Engineering.

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

2003

The PROSPER toolkit.

STTT, 2003

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

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.

Formal Asp. Comput., 2002

2000

The PROSPER Toolkit.

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

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

Proceedings of the Computational Logic, 2000

Towards Automating Inductive Proofs for State Monads.

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

Transparent Optimisation of Rewriting Combinators.

J. Funct. Program., 1999

An ML Editor Based on Proofs-As-Programs.

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

System Description: CyNTHIA.

Proceedings of the Automated Deduction, 1999

1998

An Interface between Clam and HOL.

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

Generating Embeddings from Denotational Descriptions.

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

System Description: An Interface Between CL

^{A}M and HOL.
Proceedings of the Automated Deduction, 1998

1997

A Tool to Support Formal Reasoning about Computer Languages.

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

1995

Combining Decision Procedures in the HOL System.

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

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

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

1993

Lazy Techniques for Fully Expansive Theorem Proving.

Formal Methods in System Design, 1993

1992

Boyer-Moore Automation for the HOL System.

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

A Lazy Approach to Fully-Expansive Theorem Proving.

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

Experience with Embedding Hardware Description Languages in HOL.

Proceedings of the Theorem Provers in Circuit Design, 1992