1128 search results - page 19 / 226 » Little Engines of Proof |
102
click to vote
ICWE
2010
Springer
14 years 8 months ago
2010
Springer
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...
PEPM
2010
ACM
15 years 6 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciļ...
KBSE
1997
IEEE
15 years 1 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
89
Voted
TC
2011
14 years 4 months ago
2011
AbstractāThe fused multiply accumulate-add (FMA) instruction, speciļ¬ed by the IEEE 754-2008 Standard for Floating-Point Arithmetic, eases some calculations, and is already avai...
SFP
2004
14 years 10 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...