366 search results - page 36 / 74 » Model-checking higher-order functions |
124
click to vote
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
TIM
2010
14 years 6 months ago
2010
Abstract--An approach for the construction of a family of desired order continuous polynomial time window functions is presented without self-convolution of the parent window. The ...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— Recognition of digital signal type is an important topic for various applications. In this paper a method is presented that identifies different types of digital signals. This ...
IFL
2007
Springer
15 years 6 months ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
137
click to vote
ENTCS
2002
14 years 11 months ago
2002
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...