211 search results - page 4 / 43 » The Representation of Program Synthesis in Higher Order Logi... |
ESOP
2005
Springer
13 years 11 months ago
2005
Springer
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...
LISP
2008
13 years 6 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
TPHOL
1998
IEEE
13 years 10 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
CADE
2001
Springer
14 years 6 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...