Statistics
Publications
3
Citations
196
H-Index
3
Active since
1992
Affiliations
University of Edinburgh(Current)
Richard J. Boulton is an author at University of Edinburgh specializing in software analysis, program analysis, and formal methods.
Publications per year
1992–2021
3
3
Experience with Embedding Hardware Description Languages in HOL
Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon et al. · 1992 · 159 citations
The HOL verification of ELLA designs
Richard J. Boulton, Mike Gordon, John Herbert et al. · 2021 · 24 citations · Full text
An ML editor based on proofs-as-programs
Jon Whittle, Alan Bundy, Richard J. Boulton et al. · 2003 · 13 citations
Programming Language Theory, Engineering, Program Analysis +15
1–3 of 3