The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Documents Authored by: Richard Boulton

Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.

Paper in Conference Proceedings

PP1158 1997 Paper in Conference Proceedings Boulton,R
A Tool to Support Formal reasoning about Computer Languages
PP1159 1997 Paper in Conference Proceedings Boulton,R; Bundy,A; Slind,A; Gordon,M
A Prototype Interface between CLAM and HOL

Research Paper

RP939 1999 Research Paper Whittle,JN; Bundy,A; Boulton,R; Lowe,H
An ML Editor Based on Proofs-as-Programs
RP885 1998 Research Paper Slind,K; Gordon,M; Boulton,R; Bundy,A
System Description: an Interface Between Clam and Hol
RP854 1997 Research Paper Boulton,R; Bundy,A; Slind,K; Gordon,M
A Prototype Interface Between Clam and Hol

[Search These Pages] [DAI Home Page] [Comment]