Autor der Publikation

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)

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

Permission Inference for Array Programs., , , , und . CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 55-74. Springer, (2018)Actor Services - Modular Verification of Message Passing Programs., und . ESOP, Volume 9632 von Lecture Notes in Computer Science, Seite 699-726. Springer, (2016)Constraint Semantics for Abstract Read Permissions., , , und . FTfJP@ECOOP, Seite 2:1-2:6. ACM, (2014)Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions., , , und . ECOOP, Volume 7920 von Lecture Notes in Computer Science, Seite 451-476. Springer, (2013)Lightweight Support for Magic Wands in an Automatic Verifier (Artifact)., und . DARTS, 1 (1): 10:1-10:2 (2015)The Relationship Between Separation Logic and Implicit Dynamic Frames, und . Logical Methods in Computer Science, (2012)Towards a semantic model for Java wildcards., , , und . FTfJP@ECOOP, Seite 2:1-2:7. ACM, (2010)The Relationship between Separation Logic and Implicit Dynamic Frames., und . ESOP, Volume 6602 von Lecture Notes in Computer Science, Seite 439-458. Springer, (2011)Approaches to Polymorphism in Classical Sequent Calculus., und . ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 84-99. Springer, (2006)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)