( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Candle: A Verified Implementation of HOL Light.

, , , и . ITP, том 237 из LIPIcs, стр. 3:1-3:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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.

Magnus O Brunner

O Manuwald

O Nommensen

O Otsuka

O Riha

 

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

Clocked Definitions in HOL., и . CoRR, (2018)A Verified Certificate Checker for Floating-Point Error Bounds., , и . CoRR, (2017)x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors., , , , и . Commun. ACM, 53 (7): 89-97 (2010)Functional Big-Step Semantics., , , и . ESOP, том 9632 из Lecture Notes in Computer Science, стр. 589-615. Springer, (2016)A Verified Generational Garbage Collector for CakeML., , и . J. Autom. Reason., 63 (2): 463-488 (2019)A proof-producing translator for verilog development in HOL., и . FormaliSE@ICSE, стр. 99-108. IEEE / ACM, (2019)Fast, Verified Computation for Candle., и . ITP, том 268 из LIPIcs, стр. 4:1-4:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Hoare Logic for Realistically Modelled Machine Code., и . TACAS, том 4424 из Lecture Notes in Computer Science, стр. 568-582. Springer, (2007)Transforming Programs into Recursive Functions., и . SBMF, том 240 из Electronic Notes in Theoretical Computer Science, стр. 185-200. Elsevier, (2008)A Verified Runtime for a Verified Theorem Prover., и . ITP, том 6898 из Lecture Notes in Computer Science, стр. 265-280. Springer, (2011)