( en | de | ru )

 

Disambiguierung von "Myreen, Magnus O."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Verified Runtime for a Verified Theorem Prover.

, und . ITP, Volume 6898 von Lecture Notes in Computer Science, Seite 265-280. Springer, (2011)

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.

Magnus O Brunner

O Nommensen

O Manuwald

O Otsuka

-O Rothhaupt

 

Weitere Publikationen von Autoren mit dem selben Namen

Functional Big-Step Semantics., , , und . ESOP, Volume 9632 von Lecture Notes in Computer Science, Seite 589-615. Springer, (2016)Transforming Programs into Recursive Functions., und . SBMF, Volume 240 von Electronic Notes in Theoretical Computer Science, Seite 185-200. Elsevier, (2008)Hoare Logic for Realistically Modelled Machine Code., und . TACAS, Volume 4424 von Lecture Notes in Computer Science, Seite 568-582. Springer, (2007)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)A Hoare Logic for Diverging Programs., , und . Arch. Formal Proofs, (2023)A Verified Runtime for a Verified Theorem Prover., und . ITP, Volume 6898 von Lecture Notes in Computer Science, Seite 265-280. Springer, (2011)Separation Logic Adapted for Proofs by Rewriting.. ITP, Volume 6172 von Lecture Notes in Computer Science, Seite 485-489. Springer, (2010)Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions., , , , , und . IJCAR, Volume 10900 von Lecture Notes in Computer Science, Seite 646-662. Springer, (2018)cake_lpr: Verified Propagation Redundancy Checking in CakeML., , und . TACAS (2), Volume 12652 von Lecture Notes in Computer Science, Seite 223-241. Springer, (2021)