67 search results - page 7 / 14 » Local Verification of Global Invariants in Concurrent Progra... |
SIGADA
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
The combination of message passing and locking to protect shared state is a useful concurrency pattern. However, programs that employ this pattern are susceptible to deadlock. That...
CC
2008
Springer
13 years 9 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
CONCURRENCY
2000
13 years 7 months ago
2000
The 1990s are seeing the explosive growth of the Internet and Web-based information sharing and dissemination systems. The Internet is also showing a potential of forming of a sup...
PODS
2008
ACM
14 years 7 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...