2881 search results - page 329 / 577 » Model Checking for Programming Languages using Verisoft |
180
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
201
Voted
JAVA
2000
Springer
15 years 10 months ago
2000
Springer
We describe a new approach to object replication in Java, aimed at improving the performance of parallel programs. Our programming model allows the programmer to define groups of ...
145
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed runtime systems that have an internally sequential execution model...
157
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
216
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...