4 search results - page 1 / 1 » Correctness of a Higher-Order Removal Transformation through... |
APLAS
2003
ACM
13 years 10 months ago
2003
ACM
FLOPS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
TPCD
1994
13 years 6 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
ACSC
2005
IEEE
13 years 10 months ago
2005
IEEE
Stemming words to (usually) remove suffixes has applications in text search, machine translation, document summarisation, and text classification. For example, English stemming r...