779 search results - page 35 / 156 » A programming model for concurrent object-oriented programs |
OOPSLA
1989
Springer
14 years 20 days ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
VL
2002
IEEE
14 years 1 months ago
2002
IEEE
Java program debugging was investigated in computer science students who used a software debugging environment (SDE) that provided concurrently displayed, adjacent, multiple and l...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...