1206 search results - page 86 / 242 » Concurrent Abstract Predicates |
110
Voted
ESEC
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
97
Voted
CONCURRENCY
2004
15 years 14 days ago
2004
Abstract. A number of formal proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. Unfortunately, it is not clear how practic...
97
Voted
CONCURRENCY
2002
15 years 13 days ago
2002
Abstract. We introduce a new technique for automated performance diagnosis, using the program's callgraph. We discuss our implementation of this diagnosis technique in the Par...
199
Voted
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
136
Voted
ICFP
2004
ACM
16 years 17 days ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...