Richard J. Boulton - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2009

Computer Assisted ReasoningRichard J. Boulton, Joe Hurd, Konrad Slind. JAR, 43(3):237-242, 2009. [doi]

2004

Design Verification for Control EngineeringRichard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin. IFM 2004: 21-35 [doi]

2003

A Hoare Logic for Single-Input Single-Output Continuous-Time Control SystemsRichard J. Boulton, Ruth Hardy, Ursula Martin. hybrid 2003: 113-125 [doi]

The PROSPER toolkitLouise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham. STTT, 4(2):189-210, 2003. [doi]

2002

Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML EditorJon Whittle, Alan Bundy, Richard J. Boulton. fac, 13(3-5):403-421, 2002. [doi]

2000

1999

Transparent Optimisation of Rewriting CombinatorsRichard J. Boulton. JFP, 9(2):113-146, 1999.

System Description: CyNTHIAJon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe. cade 1999: 388-392 [doi]

An ML Editor Based on Proofs-As-ProgramsJon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe. ASE 1999: 166-173 [doi]

1998

1997

A Tool to Support Formal Reasoning about Computer LanguagesRichard J. Boulton. TACAS 1997: 81-95

1995

A Restricted Form on Higher-Order Rewriting Applied to an HDL SemanticsRichard J. Boulton. RTA 1995: 309-323

Combining Decision Procedures in the HOL SystemRichard J. Boulton. tphol 1995: 75-89

1993

Lazy Techniques for Fully Expansive Theorem ProvingRichard J. Boulton. fmsd, 3(1/2):25-47, 1993.

1992

Boyer-Moore Automation for the HOL SystemRichard J. Boulton. tphol 1993: 133-142

A Lazy Approach to Fully-Expansive Theorem ProvingRichard J. Boulton. tphol 1993: 19-38

Experience with Embedding Hardware Description Languages in HOLRichard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel. tpcd 1992: 129-156

Sign in or sign up to see more results.

runs on WebDSL