Flexible Immutability with Frozen Objects
- 25 September 2008
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Verification of Equivalent-Results MethodsPublished by Springer Nature ,2008
- Ownership, Uniqueness, and ImmutabilityPublished by Springer Nature ,2008
- Validity Invariants and EffectsPublished by Springer Nature ,2007
- Practical Reasoning About Invocations and Implementations of Pure MethodsPublished by Springer Nature ,2007
- Observational purity and encapsulationTheoretical Computer Science, 2007
- Immutable Objects for a Java-Like LanguagePublished by Springer Nature ,2007
- Reasoning About Method Calls in Interface Specifications.The Journal of Object Technology, 2006
- Verification of Object-Oriented Programs with Invariants.The Journal of Object Technology, 2004
- Friends Need a Bit More: Maintaining Invariants Over Shared StatePublished by Springer Nature ,2004
- Object Invariants in Dynamic ContextsPublished by Springer Nature ,2004