OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
Software’s expense owes partly to frequent reimplementation of similar functionality and partly to maintenance of patches, ports or components targeting evolving interfaces. Mor...
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
Fred Brooks’ retelling of the biblical story of the Tower of Babel offers many insights into what makes building software difficult. The difficulty, according to common interp...
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
The act of computer programming is generally considered to be temporally removed from a computer program’s execution. In this paper we discuss the idea of programming as an acti...
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...