26 search results - page 1 / 6 » Higher-Order Rewriting and Partial Evaluation |
RTA
1998
Springer
13 years 10 months ago
1998
Springer
LICS
1994
IEEE
13 years 10 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
13 years 6 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
13 years 10 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
13 years 10 months ago
1989
Springer
