Barcelona / Informatik Saarbruecken / Austin / Boston / Norwell / Vancouver / Calgary / /
Company
AES / Cambridge University Press / ARM Ltd. / Patterson / Intel / /
Country
Germany / United States / Canada / /
Event
Business Partnership / /
Facility
University of Cambridge Computer Laboratory / University of Leeds / University of Utah / The University of Leeds / Trinity College / University of Wales Swansea / ARM6 M.J.C. Gordon Computer Laboratory University of Cambridge Final Report / /
IndustryTerm
real-world commercial processor / /
Organization
Cambridge University / Max-Planck-Institut f¨ / Trinity College / University of Leeds / University of Wales Swansea / University of Cambridge Computer Laboratory / University of Utah / Acta Informatica / US Government Agency / ARM6 M.J.C. Gordon Computer Laboratory University of Cambridge Final Report / /
Person
Witold Charatonik / Konrad Slind / Brian T. Graham / Dominic Pajak / Anthony Fox / J. H. Seger / Graham Birtwistle / Harald Ganzinger / V. Tucker Algebraic / Daniel Schostak / /
Position
postdoctoral research assistant / model / Professor / representative / programmer / /
Product
ARM610 / /
ProgrammingLanguage
Standard ML / /
ProvinceOrState
Utah / Massachusetts / /
PublishedMedium
Formal Aspects of Computing / Theoretical Computer Science / IEEE Design & Test of Computers / /
Formal Specification and Verification of ARM6 M.J.C. Gordon Computer Laboratory University of Cambridge Final Report to EPSRC on grant GR/N13135