17 search results - page 1 / 4 » tphol 2008 |
117
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
107
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
81
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
111
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...
143
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...