The need for flexible object invariants

Authors:
Alexander J. Summers;Sophia Drossopoulou;Peter Müller
Affiliations:
Imperial College London;Imperial College London;ETH Zürich
Venue:
International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
Year:
2009

Citing 10
Cited 4

A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-Oriented Software Construction

Object-Oriented Software Construction
Priority Inheritance Protocols: An Approach to Real-Time Synchronization

IEEE Transactions on Computers
Modular invariants for layered object structures

Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Information Hiding and Visibility in Interface Specifications

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Separation logic, abstraction and inheritance

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Enhancing modular OO verification with separation logic

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Invariants for Non-Hierarchical Object Structures

Electronic Notes in Theoretical Computer Science (ENTCS)
The spec# programming system: an overview

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Validity invariants and effects

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

Verifying executable object-oriented specifications with separation logic

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Considerate reasoning and the composite design pattern

VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
A discipline for program verification based on backpointers and its use in observational disjointness

ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
The need for capability policies

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs

Quantified Score

Hi-index	0.00

Visualization

Abstract

Verified data abstraction. Data abstraction has long been recognized as a methodology to decompose the verification problem into data structure implementation and the algorithm that uses the data structure [3, 8]. Today we are close to being in ...