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 × USA
Collaborated with:
N.Halbwachs
Talks about:
constraint (1) properti (1) abstract (1) program (1) matric (1) extend (1) domain (1) disequ (1) discov (1) differ (1)

Person: Mathias Péron

DBLP DBLP: P=eacute=ron:Mathias

Contributed to:

PLDI 20082008
VMCAI 20072007

Wrote 2 papers:

PLDI-2008-HalbwachsP #array #source code
Discovering properties about arrays in simple programs (NH, MP), pp. 339–348.
VMCAI-2007-PeronH #abstract domain #bound #constraints #matrix
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (MP, NH), pp. 268–282.
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.