10715 search results - page 19 / 2143 » From Tests to Proofs |
ENTCS
2002
13 years 7 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
BIRTHDAY
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. A novel framework for the design and analysis of energy-aware algorithms is presented, centered around a deterministic Bit-level (Boltzmann) Random Access Machine or BRAM...
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
CSL
2009
Springer
14 years 2 months ago
2009
Springer
IFL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...