BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × France
Collaborated with:
Talks about:
simulink (1) abstract (1) variabl (1) semant (1) interv (1) domain (1) slope (1) simul (1) point (1) numer (1)

Person: Alexandre Chapoutot

DBLP DBLP: Chapoutot:Alexandre

Contributed to:

LCTES 20122012
SAS 20102010

Wrote 2 papers:

LCTES-2012-BouissouC #semantics #simulation
An operational semantics for Simulink’s simulation engine (OB, AC), pp. 129–138.
SAS-2010-Chapoutot #abstract domain #float
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables (AC), pp. 184–200.

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.