1491 search results - page 33 / 299 » Resource-Passing Concurrent Programming |
103
Voted
POPL
2011
ACM
14 years 3 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
109
Voted
ICFP
2010
ACM
15 years 23 days ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
93
Voted
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
86
Voted
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent features inspired by the join-calculus. We...
143
Voted
SOFTVIS
2010
ACM
15 years 23 days ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...