Richard J. Boulton

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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 CLAM 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


  Loading...