( en | de | ru )

 

Disambiguierung von "Summers, Alexander J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Leveraging rust types for modular specification and verification.

, , , und . Proc. ACM Program. Lang., 3 (OOPSLA): 147:1-147:30 (2019)

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

The Relationship Between Separation Logic and Implicit Dynamic Frames, und . Logical Methods in Computer Science, (2012)The Relationship between Separation Logic and Implicit Dynamic Frames., und . ESOP, Volume 6602 von Lecture Notes in Computer Science, Seite 439-458. Springer, (2011)Sound Automation of Magic Wands (extended version)., , , , und . CoRR, (2022)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)Modular Verification of Collaborating Smart Contracts., , , , und . CoRR, (2021)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)Software Verification Äcross the Stack" (Invited Talk).. ECOOP, Volume 37 von LIPIcs, Seite 3-3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)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)