3713 search results - page 353 / 743 » Constructing a Calculus of Programs |
120
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
136
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
141
Voted
CGO
2008
IEEE
15 years 11 months ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
140
click to vote
SIGSOFT
1998
ACM
15 years 9 months ago
1998
ACM
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...
167
click to vote
PPOPP
2012
ACM
14 years 9 days ago
2012
ACM
Graphics processing units (GPUs) are powerful devices capable of rapid parallel computation. GPU programming, however, can be quite difficult, limiting its use to experienced prog...