( en | de | ru )

 

Disambiguation of "Summers, Alexander J."

Author of the publication

copydeleteadd this publication to your clipboard
Fractional permissions without the fractions.

, , , and . FTfJP@ECOOP, page 1:1-1:6. ACM, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jim Summers

Alexander J Mrozek

Alexander J Wulf

Alexander J Schmidt

Alexander J Teague

 

Other publications of authors with the same name

Viper: A Verification Infrastructure for Permission-Based Reasoning., , and . Dependable Software Systems Engineering, volume 50 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)Approaches to Polymorphism in Classical Sequent Calculus., and . ESOP, volume 3924 of Lecture Notes in Computer Science, page 84-99. Springer, (2006)The Relationship between Separation Logic and Implicit Dynamic Frames., and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 439-458. Springer, (2011)Formally Validating a Practical Verification Condition Generator., , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 704-727. Springer, (2021)Prusti: deductive verification for Rust (keynote).. FTfJP@ECOOP, page 1. ACM, (2020)A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations., , and . IJCAR (1), volume 14739 of Lecture Notes in Computer Science, page 419-438. Springer, (2024)Reframing the Liskov substitution principle through the lens of testing., and . SPLASH-E, page 49-58. ACM, (2021)Sound Automation of Magic Wands., , , , and . CAV (2), volume 13372 of Lecture Notes in Computer Science, page 130-151. Springer, (2022)Permission Inference for Array Programs., , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 55-74. Springer, (2018)Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions., , , and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 451-476. Springer, (2013)