( en | de | ru )

 

Disambiguierung von "Sieczkowski, Filip"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq.

, , , und . ITP, Volume 6898 von Lecture Notes in Computer Science, Seite 22-38. 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.

Heinrich Filip

Adam Filip

Filip Lebo

Filip Beck

Filip Floegel

 

Weitere Publikationen von Autoren mit dem selben Namen

Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory., , und . PPDP, Seite 4:1-4:13. ACM, (2021)Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq., , , und . ITP, Volume 6898 von Lecture Notes in Computer Science, Seite 22-38. Springer, (2011)The Essence of Generalized Algebraic Data Types., , , und . Proc. ACM Program. Lang., 8 (POPL): 695-723 (Januar 2024)A Separation Logic for Fictional Sequential Consistency., , , und . ESOP, Volume 9032 von Lecture Notes in Computer Science, Seite 736-761. Springer, (2015)ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages., , und . ITP, Volume 9236 von Lecture Notes in Computer Science, Seite 375-390. Springer, (2015)A Concurrent Logical Relation., , und . CSL, Volume 16 von LIPIcs, Seite 107-121. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Typed Equivalence of Effect Handlers and Delimited Control., , und . FSCD, Volume 131 von LIPIcs, Seite 30:1-30:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Reflection on Continuation-Composing Style., , und . FSCD, Volume 167 von LIPIcs, Seite 18:1-18:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Automating Derivations of Abstract Machines from Reduction Semantics: - A Generic Formalization of Refocusing in Coq., , und . IFL, Volume 6647 von Lecture Notes in Computer Science, Seite 72-88. Springer, (2010)Formalized Verification of Snapshotable Trees: Separation and Sharing., , , und . VSTTE, Volume 7152 von Lecture Notes in Computer Science, Seite 179-195. Springer, (2012)