632 search results - page 22 / 127 » Proving Invariants of Functional Programs |
126
Voted
ACCV
2009
Springer
15 years 3 months ago
2009
Springer
Image feature detection is a fundamental issue in computer vision. SIFT[1] and SURF[2] are very effective in scale-space feature detection, but their stabilities are not good enou...
85
Voted
ENTCS
2007
15 years 14 days ago
2007
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possi...
127
click to vote
PLILP
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
100
click to vote
ENTCS
2006
15 years 16 days ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
104
click to vote
ENTCS
2007
15 years 14 days ago
2007
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...