677 search results - page 35 / 136 » Dependent Types from Counterexamples |
154
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
152
Voted
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
148
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
152
Voted
INFORSID
1996
15 years 5 months ago
1996
: This paper presents a propagation model for complex object versions. Complex objects are object linked to other objects by means of dependence relations such as composition, inhe...
130
Voted
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...