Richard J. Boulton

25 papers A* 1A 4B 1Journal 6Unranked 11

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