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: Boulton:Richard_J=
Contributed to:
2004
2000
2000
1999
199919981997
1995Wrote 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.
- CADE-1999-WhittleBBL
- 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.