488 search results - page 5 / 98 » Derivation of Java Monitors |
114
Voted
RISE
2004
Springer
15 years 6 months ago
2004
Springer
Exception mechanism is important for the development of robust programs to make sure that exceptions are handled appropriately at run-time. In this paper, we develop a dynamic exce...
93
Voted
CRISIS
2008
15 years 2 months ago
2008
84
Voted
ISIM
2007
15 years 2 months ago
2007
Executable prototypcs generatcd on early stages of software development bring many benefits, first of all they help to develop and validate systcm's spccification. The paper p...
99
Voted
JAVA
1999
Springer
15 years 5 months ago
1999
Springer
Several Java bindings of the Message Passing Interface standard, MPI, have been developed recently. Message bu ers have usually been restricted to arrays with elements of primitiv...
115
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications are expressed internally in an extension of LTL with first-order quantificat...