( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verified compilation on a verified processor.

, , , , , , и . PLDI, стр. 1041-1053. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Anthony J. Hornof

Anthony J Harper

Anthony J Gittins

C J Schumacher

J C Kämmer

 

Другие публикации лиц с тем же именем

Formal Specification and Verification of ARM6.. TPHOLs, том 2758 из Lecture Notes in Computer Science, стр. 25-40. Springer, (2003)A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4., , , , , и . FMCAD, стр. 1-10. IEEE, (2018)A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture., и . ITP, том 6172 из Lecture Notes in Computer Science, стр. 243-258. Springer, (2010)An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL.. CALCO, том 3629 из Lecture Notes in Computer Science, стр. 157-174. Springer, (2005)LCF-Style Bit-Blasting in HOL4.. ITP, том 6898 из Lecture Notes in Computer Science, стр. 357-362. Springer, (2011)Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process., , , , , , , , , и 3 other автор(ы). SP, стр. 1003-1020. IEEE, (2020)A new verified compiler backend for CakeML., , , , , и . ICFP, стр. 60-73. ACM, (2016)Algebraic models for advanced microprocessors.. Swansea University, UK, (1999)British Library, EThOS.The semantics of power and ARM multiprocessor machine code., , , , , , и . DAMP, стр. 13-24. ACM, (2009)Verified compilation of CakeML to multiple machine-code targets., , , и . CPP, стр. 125-137. ACM, (2017)