2019 search results - page 260 / 404 » Programming with Shared Data Abstractions |
100
click to vote
LISP
2006
15 years 2 months ago
2006
Abstract. Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving trans...
143
click to vote
FUIN
2010
15 years 1 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
116
click to vote
ICARIS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper presents a high level dynamic task allocation algorithm that is inspired by the biological development process and the immune system. For a microprocessor (µP...
113
click to vote
HPCN
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...
113
click to vote
WCRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Visualizations of actual run-time data support the comprehension of programs, like examples support the ion of abstract concepts and principles. Unfortunately, the required run-...