( en | de | ru )

 

Disambiguation of "Summers, Alexander J."

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version).

, , and . CoRR, (2024)

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

Prusti: deductive verification for Rust (keynote).. FTfJP@ECOOP, page 1. ACM, (2020)Formally Validating a Practical Verification Condition Generator., , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 704-727. Springer, (2021)Approaches to Polymorphism in Classical Sequent Calculus., and . ESOP, volume 3924 of Lecture Notes in Computer Science, page 84-99. Springer, (2006)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)The Relationship between Separation Logic and Implicit Dynamic Frames., and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 439-458. Springer, (2011)Lightweight Support for Magic Wands in an Automatic Verifier (Artifact)., and . Dagstuhl Artifacts Ser., 1 (1): 10:1-10:2 (2015)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)Constraint Semantics for Abstract Read Permissions., , , and . FTfJP@ECOOP, page 2:1-2:6. ACM, (2014)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)