535 search results - page 16 / 107 » Do we need dependent types |
120
Voted
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
167
Voted
JIPS
2010
14 years 10 months ago
2010
Software evolution is an ongoing process carried out with the aim of extending base applications either for adding new functionalities or for adapting software to changing environm...
200
click to vote
POPL
2001
ACM
16 years 3 months ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...
136
Voted
EDCC
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
114
Voted
RANDOM
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Redundancy has been utilized to achieve fault tolerant computation and to achieve reliable communication in networks of processors. These techniques can only be extended ...