257 search results - page 9 / 52 » Programming with narrowing: A tutorial |
PSSE
2004
Springer
14 years 1 months ago
2004
Springer
IPPS
2000
IEEE
14 years 3 days ago
2000
IEEE
EUROCAST
2001
Springer
14 years 7 days ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
LOPSTR
2009
Springer
14 years 2 months ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
interactive teaching materials, primarily because of its integration with the web through the applet mechanism. The 1997 and 1998 ITiCSE conferences convened working groups to deve...