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 × Brazil
1 × Canada
1 × Korea
1 × Romania
Collaborated with:
M.Rueher O.Ponsini A.Goldsztejn Y.Lebbah H.Collavizza C.Fédèle
Talks about:
constraint (2) program (2) interpret (1) implement (1) algorithm (1) techniqu (1) quantifi (1) approxim (1) abstract (1) univers (1)

Person: Claude Michel

DBLP DBLP: Michel:Claude

Contributed to:

ICST 20122012
ICSM 20102010
SAC 20082008
SAC 20072007

Wrote 4 papers:

ICST-2012-PonsiniMR #abstract interpretation #analysis #constraints #float #programming #source code
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs (OP, CM, MR), pp. 775–776.
ICSM-2010-PonsiniCFMR #automation #invariant #verification
Automatic verification of loop invariants (OP, HC, CF, CM, MR), pp. 1–5.
SAC-2008-GoldsztejnMR #algorithm #approximate #performance #quantifier
An efficient algorithm for a sharp approximation of universally quantified inequalities (AG, CM, MR), pp. 134–139.
SAC-2007-LebbahMR #constraints #implementation #performance #reduction #using
Using constraint techniques for a safe and fast implementation of optimality-based reduction (YL, CM, MR), pp. 326–331.

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.