( en | de | ru )

 

Disambiguation of "Fox, Anthony C. J."

Author of the publication

copydeleteadd this publication to your clipboard
Verified compilation on a verified processor.

, , , , , , and . PLDI, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Anthony J. Hornof

Anthony J Harper

Anthony J Gittins

C J Schumacher

J C Kämmer

 

Other publications of authors with the same name

Specification and Verification of ARM Hardware and Software., , and . Design and Verification of Microprocessor Systems for High-Assurance Applications, Springer, (2010)Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact)., , , , , , , and . Dagstuhl Artifacts Ser., 8 (2): 10:1-10:2 (2022)A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture., and . ITP, volume 6172 of Lecture Notes in Computer Science, page 243-258. Springer, (2010)An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL.. CALCO, volume 3629 of Lecture Notes in Computer Science, page 157-174. Springer, (2005)Formal Specification and Verification of ARM6.. TPHOLs, volume 2758 of Lecture Notes in Computer Science, page 25-40. Springer, (2003)A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4., , , , , and . FMCAD, page 1-10. IEEE, (2018)Algebraic Models of Superscalar Microprocessor Implementations: A Case Study., and . Prospects for Hardware Foundations, volume 1546 of Lecture Notes in Computer Science, page 138-183. Springer, (1998)An Algebraic Model of Correctness for Superscalar Microprocessors., and . FMCAD, volume 1166 of Lecture Notes in Computer Science, page 346-361. Springer, (1996)Directions in ISA Specification.. ITP, volume 7406 of Lecture Notes in Computer Science, page 338-344. Springer, (2012)Algebraic models of correctness for abstract pipelines., and . J. Log. Algebraic Methods Program., 57 (1-2): 71-107 (2003)