1882 search results - page 189 / 377 » Transformational Programming and Forests |
125
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
138
click to vote
POPL
2009
ACM
16 years 2 days ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
141
click to vote
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite e�...
176
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
121
click to vote
PPOPP
2003
ACM
15 years 10 months ago
2003
ACM
In an intelligent memory architecture, the main memory of a computer is enhanced with many simple processors. The result is a highly-parallel, heterogeneous machine that is able t...