1882 search results - page 189 / 377 » Transformational Programming and Forests |
157
click to vote
ICFP
2006
ACM
16 years 7 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...
192
click to vote
POPL
2009
ACM
16 years 1 months 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...
189
Voted
SIGSOFT
2004
ACM
16 years 14 days 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�...
213
click to vote
PLDI
2003
ACM
16 years 9 days 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...
159
click to vote
PPOPP
2003
ACM
16 years 9 days 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...