OOPSLA
2007
Springer
13 years 10 months ago
2007
Springer
Software designers in the object-oriented paradigm can make use of modeling tools and standard notations such as UML. Nevertheless, casual observations from collocated design coll...
OOPSLA
2007
Springer
13 years 10 months ago
2007
Springer
One of the major concerns in the processes which involve human analysts is the existence of uncertainty/inconsistency. In this paper, we propose a model based on belief theory tha...
OOPSLA
2007
Springer
13 years 10 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
OOPSLA
2007
Springer
13 years 10 months ago
2007
Springer
OOPSLA
2007
Springer
13 years 10 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
OOPSLA
2007
Springer
13 years 10 months ago
2007
Springer
OOPSLA
2007
Springer
13 years 10 months ago
2007
Springer
OOPSLA
2007
Springer
13 years 10 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
OOPSLA
2007
Springer
13 years 10 months ago
2007
Springer
This essay presents remarkable similarities between transactional memory and garbage collection. The connections are fascinating in their own right, and they let us better underst...
OOPSLA
2007
Springer
13 years 10 months ago
2007
Springer