Object and reference immutability using Java generics
- 7 September 2007
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Variant parametric typesACM Transactions on Programming Languages and Systems, 2006
- On Ownership and AccessibilityLecture Notes in Computer Science, 2006
- Augmenting Automatically Generated Unit-Test Suites with Regression Oracle CheckingLecture Notes in Computer Science, 2006
- JavariPublished by Association for Computing Machinery (ACM) ,2005
- An overview of JML tools and applicationsInternational Journal on Software Tools for Technology Transfer, 2004
- A practical type system and language for reference immutabilityPublished by Association for Computing Machinery (ACM) ,2004
- Typestates for ObjectsLecture Notes in Computer Science, 2004
- An empirical investigation of the influence of a type of side effects on program comprehensionIEEE Transactions on Software Engineering, 2003
- Featherweight JavaACM Transactions on Programming Languages and Systems, 2001
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001