( en | de | ru )

 

Disambiguierung von "Summers, Alexander J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
REST: Integrating Term Rewriting with Program Verification.

, , , und . ECOOP, Volume 222 von LIPIcs, Seite 13:1-13:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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.

Jim Summers

Alexander J Mrozek

Alexander J Wulf

Alexander J Schmidt

Alexander J Teague

 

Weitere Publikationen von Autoren mit dem selben Namen

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)The Relationship between Separation Logic and Implicit Dynamic Frames., und . ESOP, Volume 6602 von Lecture Notes in Computer Science, Seite 439-458. Springer, (2011)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)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)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)Actor Services - Modular Verification of Message Passing Programs., und . ESOP, Volume 9632 von Lecture Notes in Computer Science, Seite 699-726. Springer, (2016)Lightweight Support for Magic Wands in an Automatic Verifier (Artifact)., und . Dagstuhl Artifacts Ser., 1 (1): 10:1-10:2 (2015)Reframing the Liskov substitution principle through the lens of testing., und . SPLASH-E, Seite 49-58. ACM, (2021)