239 search results - page 11 / 48 » Partial Evaluation of Functional Logic Programs |
104
click to vote
TACS
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
100
click to vote
PEPM
1993
ACM
15 years 4 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
112
Voted
PEPM
1998
ACM
15 years 4 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
103
Voted
JAR
2002
15 years 2 days ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
111
click to vote
ENTCS
2007
15 years 11 days ago
2007
The interpretative approach to compilation allows compiling programs by partially evaluating an interpreter w.r.t. a source program. This approach, though very attractive in princ...