3311 search results - page 26 / 663 » Deductive Object Programming |
128
Voted
CADE
2001
Springer
16 years 4 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...
199
Voted
TOOLS
2011
IEEE
14 years 7 months ago
2011
IEEE
92
Voted
ICFP
1998
ACM
15 years 8 months ago
1998
ACM
90
Voted
SIGADA
1998
Springer
15 years 8 months ago
1998
Springer
