Division of Informatics
Forrest Hill & 80 South Bridge
|
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]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}