16190 search results - page 384 / 3238 » Applicative programming with effects |
173
click to vote
PDS
1996
15 years 6 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
146
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
161
Voted
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
Performance analysis tools are critical for the effective use of large parallel computing resources, but existing tools have failed to address three problems that limit their scal...
151
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
141
click to vote
RTAS
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we examine two architectural alternatives— native OS support versus middleware—for supporting multimedia applications. Specifically, we examine whether extensi...