85 search results - page 9 / 17 » Specialization of Lazy Functional Logic Programs |
126
Voted
PADO
2001
Springer
15 years 6 months ago
2001
Springer
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...
141
click to vote
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
116
click to vote
LPAR
1999
Springer
15 years 6 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
121
click to vote
PEPM
1993
ACM
15 years 6 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
132
Voted
ENTCS
2007
15 years 1 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...