1228 search results - page 3 / 246 » Continuations, proofs and tests |
80
Voted
TLCA
1993
Springer
15 years 1 months ago
1993
Springer
This paper describes formalizations of Tait’s normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs p...
66
Voted
MST
2008
14 years 9 months ago
2008
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
LICS
2012
IEEE
12 years 12 months ago
2012
IEEE
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
70
Voted
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...
GECCO
2009
Springer
15 years 23 days ago
2009
Springer
Evolutionary functional testing is an approach to automatically generating test cases that violate a certain functional system requirement. This paper proposes an approach suitabl...