8766 search results - page 1430 / 1754 » Functional logic programming |
156
click to vote
TYPES
2004
Springer
16 years 5 days 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...
151
click to vote
HICSS
2003
IEEE
16 years 3 days 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...
177
click to vote
ISSRE
2003
IEEE
16 years 3 days 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...
174
Voted
PPOPP
2003
ACM
16 years 2 days 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...
163
Voted
CP
2003
Springer
16 years 1 days 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...