1159 search results - page 43 / 232 » Adding Concurrency to a Programming Language |
178
click to vote
CC
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
162
click to vote
ICLP
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
178
click to vote
FM
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
217
click to vote
CEFP
2009
Springer
15 years 3 months ago
2009
Springer
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
157
click to vote
ACSC
2005
IEEE
15 years 11 months ago
2005
IEEE
There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Progra...