3 search results - page 1 / 1 » Evaluation of Systems for Higher-order Logic (ESHOL) |
LICS
1994
IEEE
13 years 8 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. ...
CADE
2008
Springer
14 years 4 months ago
2008
Springer
PADL
2004
Springer
13 years 9 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...