2300 search results - page 10 / 460 » Maximally Concurrent Programs |
POPL
1991
ACM
13 years 11 months ago
1991
ACM
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
MM
2004
ACM
14 years 28 days ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
ESOP
1999
Springer
13 years 11 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...