Object-Oriented White Papers
Mostly-Functional Behavior in Java Programs
Overview This paper presents a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which are writes to an object's state while it is being constructed, and quiescing fields, which are fields that are never written after an object is constructed. The paper also presents a novel taxonomy of degrees of method purity in object-oriented programs, which characterizes methods whose effects are confined to their receiver object.
| Publisher | University of Wisconsin | File Format | |
|---|---|---|---|
| Date Published | October 2008 | ||
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful? 1 out of 2 users found this white paper useful
White Paper RSSThe Scoop on the New CCNA and CCNP Specializations
DownloadThere has been a lot of interest among students lately on the details surrounding the CCNA specializations and their relationship with the corresponding CCNP specializations. These specializations were introduced in...
A Better Alternative: An Improved Approach to Facilities Management
Real estate is typically the second largest corporate expense after personnel, so why do so many organizations remain unchanged in the way they manage their facilities? Shouldn't they, and you,...
Smarter Products - The Building Blocks for a Smarter Planet
Businesses are delivering a new generation of smarter products that are increasingly instrumented, interconnected and intelligent - enabled through software. Integration of software engineering with electronic and mechanical...
Data Modeling: It's All About the Relationships
Unsuccessful data models are due to many factors - uncertainty about the concepts or the business requirements, lack of solid training for the programmer and even trying to be effective...
Towards Semantic Web Engineering: WEESA - Mapping XML Schema to Ontologies
The existence of semantically tagged Web pages is crucial to bring the Semantic Web to life. But it is still costly to develop and maintain Web applications that offer data...
