Autor der Publikation

Approaches to Polymorphism in Classical Sequent Calculus.

, und . ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 84-99. Springer, (2006)

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

Formally Validating a Practical Verification Condition Generator., , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 704-727. Springer, (2021)Prusti: deductive verification for Rust (keynote).. FTfJP@ECOOP, Seite 1. ACM, (2020)The Relationship between Separation Logic and Implicit Dynamic Frames., und . ESOP, Volume 6602 von Lecture Notes in Computer Science, Seite 439-458. Springer, (2011)Viper: A Verification Infrastructure for Permission-Based Reasoning., , und . Dependable Software Systems Engineering, Volume 50 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)Approaches to Polymorphism in Classical Sequent Calculus., und . ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 84-99. Springer, (2006)A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations., , und . IJCAR (1), Volume 14739 von Lecture Notes in Computer Science, Seite 419-438. Springer, (2024)An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames., und . VSTTE, Volume 8164 von Lecture Notes in Computer Science, Seite 202-221. Springer, (2013)Rich specifications for Ethereum smart contract verification., , , , und . Proc. ACM Program. Lang., 5 (OOPSLA): 1-30 (2021)Software Verification Äcross the Stack" (Invited Talk).. ECOOP, Volume 37 von LIPIcs, Seite 3-3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)., , , , und . CoRR, (2024)