13734 search results - page 46 / 2747 » Abstractions of data types |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
ndence fails. In the conclusion we address the question of an abstract criterion that explains the results.
APLAS
2004
ACM
14 years 2 months ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
PLDI
2012
ACM
11 years 11 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
EUROPAR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. As heterogeneous computing platforms become more prevalent, the programmer must account for complex memory hierarchies in addition to the difficulties of parallel program...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
Interfaces as defined in the JAVA programming language can enhance both decoupling and comprehensibility of large code bases. Several researchers have pointed out this key role of...