Search the dblp DataBase
Richard J. Boulton: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy
System Description: An Interface Between CLAM and HOL. [Citation Graph (0, 0)][DBLP]
CADE, 1998, pp:134-138 [Conf] - Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
System Description: CyNTHIA. [Citation Graph (0, 0)][DBLP]
CADE, 1999, pp:388-392 [Conf] - Richard J. Boulton, Konrad Slind
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions. [Citation Graph (0, 0)][DBLP]
Computational Logic, 2000, pp:629-643 [Conf] - Richard J. Boulton, Ruth Hardy, Ursula Martin
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems. [Citation Graph (0, 0)][DBLP]
HSCC, 2003, pp:113-125 [Conf] - Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin
Design Verification for Control Engineering. [Citation Graph (0, 0)][DBLP]
IFM, 2004, pp:21-35 [Conf] - Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
An ML Editor Based on Proofs-As-Programs. [Citation Graph (0, 0)][DBLP]
ASE, 1999, pp:166-173 [Conf] - Richard J. Boulton
A Restricted Form on Higher-Order Rewriting Applied to an HDL Semantics. [Citation Graph (0, 0)][DBLP]
RTA, 1995, pp:309-323 [Conf] - Richard J. Boulton
A Tool to Support Formal Reasoning about Computer Languages. [Citation Graph (0, 0)][DBLP]
TACAS, 1997, pp:81-95 [Conf] - Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham
The PROSPER Toolkit. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:78-92 [Conf] - Richard J. Boulton, Andrew Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel
Experience with Embedding Hardware Description Languages in HOL. [Citation Graph (0, 0)][DBLP]
TPCD, 1992, pp:129-156 [Conf] - Richard J. Boulton
A Lazy Approach to Fully-Expansive Theorem Proving. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1992, pp:19-38 [Conf] - Richard J. Boulton
Boyer-Moore Automation for the HOL System. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1992, pp:133-142 [Conf] - Richard J. Boulton
Combining Decision Procedures in the HOL System. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1995, pp:75-89 [Conf] - Richard J. Boulton
Generating Embeddings from Denotational Descriptions. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1998, pp:67-86 [Conf] - Richard J. Boulton, Konrad Slind, Alan Bundy, Michael J. C. Gordon
An Interface between Clam and HOL. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1998, pp:87-104 [Conf] - Jon Whittle, Alan Bundy, Richard J. Boulton
Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 2002, v:13, n:3-5, pp:403-421 [Journal] - Richard J. Boulton
Lazy Techniques for Fully Expansive Theorem Proving. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 1993, v:3, n:1/2, pp:25-47 [Journal] - Richard J. Boulton
Transparent Optimisation of Rewriting Combinators. [Citation Graph (0, 0)][DBLP]
J. Funct. Program., 1999, v:9, n:2, pp:113-146 [Journal] - Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham
The PROSPER toolkit. [Citation Graph (0, 0)][DBLP]
STTT, 2003, v:4, n:2, pp:189-210 [Journal]
Search in 0.004secs, Finished in 0.004secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002