SIGN IN
SIGN UP
Tools for enforcing and inferring reference immutability in Java
Full Text:
PDF
Buy this Article
Authors:
Telmo Luis Correa, Jr.
MIT, Cambridge, MA
Jaime Quinonez
MIT, Cambridge, MA
Michael D. Ernst
MIT, Cambridge, MA
Published in:
· Proceeding
OOPSLA '07
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
ACM
New York, NY
, USA
©2007
table of contents
ISBN: 978-1-59593-865-7
doi>
10.1145/1297846.1297929
2007 Article
Bibliometrics
· Downloads (6 Weeks): 1
· Downloads (12 Months): 12
· Citation Count: 3
Tools and Resources
Buy this Article
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Upcoming Conference:
SPLASH '12
Share:
|
Tags:
assignable
data types and structures
design
immutability
java
javari
languages
mutable
readonly
reliability
side effects
specifying and verifying and reasoning about programs
type system
verification
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder