Thesis
Applying uniqueness to the Java language
Washington State University
Master of Science (MS), Washington State University
2010
Handle:
https://hdl.handle.net/2376/103750
Abstract
In this thesis we investigates the use of static guards to ensure that given variables will only contain a unique reference to a value. Unique references can help guard against race conditions and protect resources from simultaneous multiple uses. We analyze the interactions between the uniqueness property and several Java language features, defining additional weaker properties that are helpful in creating a usable system of uniqueness annotations. The system of annotations conforms to JSR (Java Specification Request) 308 (Annotations on Java Types). A post-processor based on the JSR 308 library statically checks that a program's uniqueness properties have been correctly annotated.
Metrics
3 File views/ downloads
7 Record Views
Details
- Title
- Applying uniqueness to the Java language
- Creators
- Artemus Harper
- Contributors
- Carl H. Hauser (Degree Supervisor)
- Awarding Institution
- Washington State University
- Academic Unit
- Electrical Engineering and Computer Science, School of
- Theses and Dissertations
- Master of Science (MS), Washington State University
- Publisher
- Washington State University; [Pullman, Washington] :
- Identifiers
- 99900525086301842
- Language
- English
- Resource Type
- Thesis