BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × The Netherlands
2 × United Kingdom
3 × Germany
Collaborated with:
K.Slind A.Bundy J.Whittle H.Lowe M.J.C.Gordon H.Gottliebsen R.Hardy T.Kelsey U.Martin L.A.Dennis G.Collins M.Norrish G.Robinson T.F.Melham
Talks about:
descript (2) system (2) restrict (1) interfac (1) function (1) toolkit (1) support (1) prosper (1) program (1) languag (1)

Person: Richard J. Boulton

DBLP DBLP: Boulton:Richard_J=

Contributed to:

IFM 20042004
CL 20002000
TACAS 20002000
ASE 19991999
CADE 19991999
CADE 19981998
TACAS 19971997
RTA 19951995

Wrote 8 papers:

IFM-2004-BoultonGHKM #design #verification
Design Verification for Control Engineering (RJB, HG, RH, TK, UM), pp. 21–35.
CL-2000-BoultonS #automation #induction #recursion
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions (RJB, KS), pp. 629–643.
TACAS-2000-DennisCNBSRGM #tool support
The PROSPER Toolkit (LAD, GC, MN, RJB, KS, GR, MJCG, TFM), pp. 78–92.
ASE-1999-WhittleBBL #editing #ml
An ML Editor Based on Proofs-As-Programs (JW, AB, RJB, HL), pp. 166–173.
System Description: CyNTHIA (JW, AB, RJB, HL), pp. 388–392.
CADE-1998-SlindGBB #interface
System Description: An Interface Between CLAM and HOL (KS, MJCG, RJB, AB), pp. 134–138.
TACAS-1997-Boulton #reasoning
A Tool to Support Formal Reasoning about Computer Languages (RJB), pp. 81–95.
RTA-1995-Boulton #higher-order #semantics #strict
A Restricted Form on Higher-Order Rewriting Applied to an HDL Semantics (RJB), pp. 309–323.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.