Alexander J. Summers
Título
Citado por
Citado por
Ano
Viper: A verification infrastructure for permission-based reasoning
P Müller, M Schwerhoff, AJ Summers
International Conference on Verification, Model Checking, and Abstract …, 2016
1592016
The Relationship Between Separation Logic and Implicit Dynamic Frames
MJ Parkinson, AJ Summers
Logical Methods in Computer Science 8 (3), 1-54, 2012
852012
A unified framework for verification techniques for object invariants
S Drossopoulou, A Francalanza, P Müller, AJ Summers
European Conference on Object-Oriented Programming, 412-437, 2008
562008
Freedom before commitment: a lightweight type system for object initialisation
AJ Summers, P Müller
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
512011
Abstract read permissions: Fractional permissions without the fractions
S Heule, KRM Leino, P Müller, AJ Summers
International Conference on Verification, Model Checking, and Abstract …, 2013
432013
Viper: A verification infrastructure for permission-based reasoning
U Juhasz, IT Kassios, P Müller, M Novacek, M Schwerhoff, AJ Summers
Technical Report - ETH-Zürich, 2014
342014
Universe types for topology and encapsulation
D Cunningham, W Dietl, S Drossopoulou, A Francalanza, P Müller, ...
International Symposium on Formal Methods for Components and Objects, 72-112, 2007
34*2007
Verification condition generation for permission logics with abstract predicates and abstraction functions
S Heule, IT Kassios, P Müller, AJ Summers
European Conference on Object-Oriented Programming, 451-476, 2013
332013
Fractional permissions without the fractions
S Heule, KRM Leino, P Müller, AJ Summers
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs …, 2011
312011
Considerate reasoning and the composite design pattern
AJ Summers, S Drossopoulou
International Conference on Verification, Model Checking, and Abstract …, 2010
292010
Leveraging Rust types for modular specification and verification
V Astrauskas, P Müller, F Poli, AJ Summers
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 147, 2019
262019
Automatic verification of iterated separating conjunctions using symbolic execution
P Müller, M Schwerhoff, AJ Summers
International Conference on Computer Aided Verification, 405-425, 2016
262016
Lightweight Support for Magic Wands in an Automatic Verifier
M Schwerhoff, AJ Summers
29th European Conference on Object-Oriented Programming (ECOOP 2015) 37, 614 …, 2015
262015
The need for flexible object invariants
AJ Summers, S Drossopoulou, P Müller
International Workshop on Aliasing, Confinement and Ownership in Object …, 2009
262009
Actor Services : Modular Verification of Message Passing Programs
AJ Summers, P Müller
25th European Symposium on Programming - ESOP 2016 (Programming Languages …, 2016
22*2016
Pandora: A reasoning toolbox using natural deduction style
K Broda, J Ma, G Sinnadurai, A Summers
Logic Journal of the IGPL 15 (4), 293-304, 2007
212007
Automating Deductive Verification for Weak-Memory Programs
AJ Summers, P Müller
Proceedings of TACAS 2018: Lecture Notes in Computer Science book series …, 2018
16*2018
Approaches to polymorphism in classical sequent calculus
AJ Summers, S Van Bakel
European Symposium on Programming, 84-99, 2006
152006
A formal semantics for isorecursive and equirecursive state abstractions
AJ Summers, S Drossopoulou
European Conference on Object-Oriented Programming, 129-153, 2013
142013
Towards a semantic model for Java wildcards
AJ Summers, N Cameron, M Dezani-Ciancaglini, S Drossopoulou
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs …, 2010
112010
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20