Immutable Objects for a Java-Like Language
- 1 January 2007
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Immutable Objects for a Java-Like LanguageLecture Notes in Computer Science, 2007
- Protecting representation with effect encapsulationPublished by Association for Computing Machinery (ACM) ,2006
- On Ownership and AccessibilityLecture Notes in Computer Science, 2006
- Type-based confinementJournal of Functional Programming, 2005
- Immutability specification and its applicationsConcurrency and Computation: Practice and Experience, 2005
- Universes: Lightweight Ownership for JML.The Journal of Object Technology, 2005
- Purity and Side Effect Analysis for Java ProgramsLecture Notes in Computer Science, 2005
- A practical type system and language for reference immutabilityPublished by Association for Computing Machinery (ACM) ,2004
- Featherweight JavaACM Transactions on Programming Languages and Systems, 2001
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994