Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Proof Pearl: A Verified Bignum Implementation in x86-64 Machine Code., und . CPP, Volume 8307 von Lecture Notes in Computer Science, Seite 66-81. Springer, (2013)Functional Programs: Conversions between Deep and Shallow Embeddings.. ITP, Volume 7406 von Lecture Notes in Computer Science, Seite 412-417. Springer, (2012)A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture., und . ITP, Volume 6172 von Lecture Notes in Computer Science, Seite 243-258. Springer, (2010)A flat reachability-based measure for CakeML's cost semantics., und . IFL, Seite 1-9. ACM, (2021)A minimalistic verified bootstrapped compiler (proof pearl).. CPP, Seite 32-45. ACM, (2021)Functional Big-Step Semantics., , , und . ESOP, Volume 9632 von Lecture Notes in Computer Science, Seite 589-615. Springer, (2016)Hoare Logic for Realistically Modelled Machine Code., und . TACAS, Volume 4424 von Lecture Notes in Computer Science, Seite 568-582. Springer, (2007)Transforming Programs into Recursive Functions., und . SBMF, Volume 240 von Electronic Notes in Theoretical Computer Science, Seite 185-200. Elsevier, (2008)Fast, Verified Computation for Candle., und . ITP, Volume 268 von LIPIcs, Seite 4:1-4:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A proof-producing translator for verilog development in HOL., und . FormaliSE@ICSE, Seite 99-108. IEEE / ACM, (2019)