502 search results - page 6 / 101 » Declarative Programming with Function Patterns |
109
click to vote
POPL
2010
ACM
15 years 7 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
101
Voted
PPDP
1999
Springer
15 years 4 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
113
click to vote
INFORMATICALT
2007
15 years 8 days ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
128
click to vote
PPDP
2009
Springer
15 years 7 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
227
click to vote
PADL
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...