488 search results - page 5 / 98 » Derivation of Java Monitors |
RISE
2004
Springer
15 years 2 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...
CRISIS
2008
14 years 11 months ago
2008
ISIM
2007
14 years 11 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...
JAVA
1999
Springer
15 years 1 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...
CAV
2009
Springer
15 years 10 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...