BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Greece
1 × USA
Collaborated with:
∅ C.Muñoz
Talks about:
formal (2) proof (2) float (2) algorithm (1) veltkamp (1) polynomi (1) provabl (1) program (1) pitfal (1) exampl (1)

Person: Sylvie Boldo

DBLP DBLP: Boldo:Sylvie

Contributed to:

ICALP (2) 20092009
IJCAR 20062006
SAC 20062006

Wrote 3 papers:

ICALP-v2-2009-Boldo #case study #float #verification
Floats and Ropes: A Case Study for Formal Numerical Program Verification (SB), pp. 91–102.
IJCAR-2006-Boldo #algorithm #float #proving
Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms (SB), pp. 52–66.
SAC-2006-BoldoM #evaluation
Provably faithful evaluation of polynomials (SB, CM), pp. 1328–1332.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.