469 search results - page 45 / 94 » Language and library support for practical PRAM programming |
140
click to vote
APLAS
2010
ACM
15 years 11 days ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
105
click to vote
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
117
click to vote
POPL
2009
ACM
15 years 8 months ago
2009
ACM
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskel...
112
click to vote
AOSD
2006
ACM
15 years 7 months ago
2006
ACM
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
195
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...