26 search results - page 1 / 6 » Higher-Order Rewriting and Partial Evaluation |
63
Voted
RTA
1998
Springer
15 years 3 months ago
1998
Springer
131
Voted
LICS
1994
IEEE
15 years 3 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. ...
95
Voted
KI
2008
Springer
14 years 10 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 3 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 2 months ago
1989
Springer
