1173 search results - page 155 / 235 » Program Derivation Using Analogy |
110
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
133
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
122
click to vote
EUROSPI
2004
Springer
15 years 8 months ago
2004
Springer
Post-mortem project reviews often yield useful lessons learned. These project reviews are mostly recorded in plain text. This makes it difficult to derive useful overall findings ...
117
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
As computing systems of all types grow in power and complexity, it is common to want to simultaneously execute processes with different timeliness constraints. Many systems use CP...
103
Voted
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we use a mathematical approach to automatically generate high performance short vector code for the discrete Fourier transform (DFT). We represent the well-known Coo...