2932 search results - page 54 / 587 » Higher order mining |
FPCA
1993
15 years 4 months ago
1993
FSTTCS
1993
Springer
15 years 4 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
PLILP
1993
Springer
15 years 4 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
113
click to vote
PPCP
1993
15 years 4 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...