3 search results - page 1 / 1 » Evaluation of Systems for Higher-order Logic (ESHOL) |
121
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. ...
60
Voted
CADE
2008
Springer
15 years 10 months ago
2008
Springer
PADL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...