2300 search results - page 156 / 460 » Maximally Concurrent Programs |
204
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
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...
91
Voted
ERSHOV
2009
Springer
15 years 9 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
15 years 8 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...
129
Voted
PPDP
2000
Springer
15 years 6 months ago
2000
Springer
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
136
Voted
COORDINATION
2008
Springer
15 years 4 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 ...