133 search results - page 8 / 27 » Benchmarking Implementations of Lazy Functional Languages |
111
click to vote
WLP
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other Curry implementations are: flexible search control by...
106
click to vote
PPDP
2001
Springer
15 years 8 months ago
2001
Springer
Cyclic data structures can be tricky to create and manipulate in declarative programming languages. In a declarative setting, a natural way to view cyclic structures is as denotin...
134
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
149
click to vote
LCPC
1999
Springer
15 years 8 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
140
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...