10715 search results - page 19 / 2143 » From Tests to Proofs |
124
Voted
ENTCS
2002
15 years 1 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...
106
click to vote
BIRTHDAY
2003
Springer
15 years 7 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...
107
Voted
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
CSL
2009
Springer
15 years 8 months ago
2009
Springer
174
click to vote
IFL
2007
Springer
15 years 8 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...