Folgen
Alexander J. Summers
Titel
Zitiert von
Zitiert von
Jahr
Viper: A verification infrastructure for permission-based reasoning
P Müller, M Schwerhoff, AJ Summers
International conference on verification, model checking, and abstract …, 2016
3052016
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
1182019
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
642011
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
642008
The relationship between separation logic and implicit dynamic frames
MJ Parkinson, AJ Summers
European Symposium on Programming, 439-458, 2011
632011
The Relationship Between Separation Logic and Implicit Dynamic Frames (extended)
MJ Parkinson, AJ Summers
Logical Methods in Computer Science 8 (3), 1-54, 2012
54*2012
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
462013
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
412013
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
402015
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
392014
Automating Deductive Verification for Weak-Memory Programs
AJ Summers, P Müller
Proceedings of TACAS 2018: Lecture Notes in Computer Science book series …, 2018
37*2018
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
362016
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
362007
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
332011
Considerate reasoning and the composite design pattern
AJ Summers, S Drossopoulou
International Conference on Verification, Model Checking, and Abstract …, 2010
322010
The need for flexible object invariants
AJ Summers, S Drossopoulou, P Müller
IWACO 9, 1-9, 2009
302009
Actor Services : Modular Verification of Message Passing Programs
AJ Summers, P Müller
25th European Symposium on Programming - ESOP 2016 (Programming Languages …, 2016
27*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
262007
How do programmers use unsafe Rust?
V Astrauskas, C Matheja, F Poli, P Müller, AJ Summers
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020
232020
A formal semantics for isorecursive and equirecursive state abstractions
AJ Summers, S Drossopoulou
European Conference on Object-Oriented Programming, 129-153, 2013
182013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20