26 search results - page 1 / 6 » Higher-Order Rewriting and Partial Evaluation |
61
Voted
RTA
1998
Springer
15 years 1 months ago
1998
Springer
120
click to vote
LICS
1994
IEEE
15 years 1 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
KI
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. In this paper we present a comparison of several inductive programming (IP) systems. IP addresses the problem of learning (recursive) programs from incomplete specificati...
PEPM
1993
ACM
15 years 1 months ago
1993
ACM
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) ...
TAPSOFT
1989
Springer
15 years 1 months ago
1989
Springer
