1159 search results - page 114 / 232 » Adding Concurrency to a Programming Language |
COORDINATION
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
ERSHOV
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
COORDINATION
2008
Springer
13 years 11 months ago
2008
Springer
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...