| 2009 |
|---|
| 18 | EE | Marc Daumas,
David Lester,
César Muñoz:
Verified Real Number Calculations: A Library for Interval Arithmetic.
IEEE Trans. Computers 58(2): 226-237 (2009) |
| 2007 |
|---|
| 17 | EE | Marc Daumas,
David Lester:
Stochastic Formal Methods: An Application to Accuracy of Numeric Software.
HICSS 2007: 262 |
| 16 | EE | Marc Daumas,
David Lester,
César Muñoz:
Verified Real Number Calculations: A Library for Interval Arithmetic
CoRR abs/0708.3721: (2007) |
| 2006 |
|---|
| 15 | EE | Marc Daumas,
David Lester:
Stochastic Formal Methods: An application to accuracy of numeric software
CoRR abs/cs/0606101: (2006) |
| 14 | EE | Marc Daumas,
David Lester:
Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors
CoRR abs/cs/0610110: (2006) |
| 13 | EE | Jeremy Gibbons,
David Lester,
Richard S. Bird:
Functional Pearl: Enumerating the rationals.
J. Funct. Program. 16(3): 281-291 (2006) |
| 2005 |
|---|
| 12 | EE | César Muñoz,
David Lester:
Real Number Calculations and Theorem Proving.
TPHOLs 2005: 195-210 |
| 2003 |
|---|
| 11 | EE | David Lester:
Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic.
Numerical Software with Result Verification 2003: 259-273 |
| 10 | | David Lester,
Paul Gowland:
Using PVS to validate the algorithms of an exact arithmetic.
Theor. Comput. Sci. 291(2): 203-218 (2003) |
| 2002 |
|---|
| 9 | EE | David Lester,
Scott Chambers,
Heoi Lee Lu:
A constructive algorithm for finding the exact roots of polynomials with computable real coefficients.
Theor. Comput. Sci. 279(1-2): 51-64 (2002) |
| 2001 |
|---|
| 8 | EE | David Lester:
Effective Continued Fractions.
IEEE Symposium on Computer Arithmetic 2001: 163- |
| 2000 |
|---|
| 7 | EE | Paul Gowland,
David Lester:
A Survey of Exact Arithmetic Implementations.
CCA 2000: 30-47 |
| 1995 |
|---|
| 6 | | David Lester,
Sava Mintchev:
Inducing Students to Induct.
FPLE 1995: 159-177 |
| 5 | | Sava Mintchev,
David Lester:
The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving.
HOA 1995: 144-162 |
| 4 | EE | David Lester:
Exact Statistics and Continued Fractions.
J. UCS 1(7): 504-513 (1995) |
| 1994 |
|---|
| 3 | | David Lester,
Sava Mintchev:
Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages.
CSL 1994: 369-381 |
| 1991 |
|---|
| 2 | | Simon L. Peyton Jones,
David Lester:
A Modular Fully-lazy Lambda Lifter in HASKELL.
Softw., Pract. Exper. 21(5): 479-506 (1991) |
| 1987 |
|---|
| 1 | | David Lester:
The G-machine as a representation of stack semantics.
FPCA 1987: 46-59 |
