10715 search results - page 19 / 2143 » Proofs from Tests |
144
click to vote
ENTCS
2002
15 years 3 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...
125
Voted
BIRTHDAY
2003
Springer
15 years 8 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...
100
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
190
Voted
IFL
2007
Springer
15 years 9 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...