8766 search results - page 1430 / 1754 » Functional logic programming |
118
click to vote
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
120
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
124
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Today’s applications are highly mobile; we download software from the Internet, machine executable code arrives attached to electronic mail, and Java applets increase the functi...
127
click to vote
PPOPP
2003
ACM
15 years 9 months ago
2003
ACM
Gather and scatter are data redistribution functions of longstanding importance to high performance computing. In this paper, we present a highly-general array operator with power...
127
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...