( en | de | ru )

 

Disambiguierung von "Pohjola, Johannes Åman"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Hoare Logic for Diverging Programs.

, , und . Arch. Formal Proofs, (2023)

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.

Aman Kabir

Wolfgang Aman

Aman Geldyyev

Viktor Aman

Horst Aman

 

Weitere Publikationen von Autoren mit dem selben Namen

A Verified Generational Garbage Collector for CakeML., , und . J. Autom. Reason., 63 (2): 463-488 (2019)The Expressive Power of Monotonic Parallel Composition., und . ESOP, Volume 9632 von Lecture Notes in Computer Science, Seite 780-803. Springer, (2016)Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results.. Uppsala University, Sweden, (2016)base-search.net (ftuppsalauniv:oai:DiVA.org:uu-297488).A Verified Generational Garbage Collector for CakeML., , und . ITP, Volume 10499 von Lecture Notes in Computer Science, Seite 444-461. Springer, (2017)Psi-Calculi Revisited: Connectivity and Compositionality.. FORTE, Volume 11535 von Lecture Notes in Computer Science, Seite 3-20. Springer, (2019)A Hoare Logic for Diverging Programs., , und . Arch. Formal Proofs, (2023)A Mechanised Semantics for HOL with Ad-hoc Overloading., und . LPAR, Volume 73 von EPiC Series in Computing, Seite 498-515. EasyChair, (2020)Kalas: A Verified, End-To-End Compiler for a Choreographic Language., , , und . ITP, Volume 237 von LIPIcs, Seite 27:1-27:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Bisimulation up-to techniques for psi-calculi., und . CPP, Seite 142-153. ACM, (2016)PureCake: A Verified Compiler for a Lazy Functional Language., , , , , , und . Proc. ACM Program. Lang., 7 (PLDI): 952-976 (2023)