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 × Spain
2 × USA
Collaborated with:
∅
Talks about:
base (3) interpret (2) properti (2) abstract (2) static (2) function (1) analysi (1) termin (1) tempor (1) semant (1)

Person: Damien Massé

DBLP DBLP: Mass=eacute=:Damien

Contributed to:

VMCAI 20142014
VMCAI 20032003
SAS 20022002

Wrote 3 papers:

VMCAI-2014-Masse #policy #ranking #termination
Policy Iteration-Based Conditional Termination and Ranking Functions (DM), pp. 453–471.
VMCAI-2003-Masse #abstract interpretation #static analysis
Property Checking Driven Abstract Interpretation-Based Static Analysis (DM), pp. 56–69.
SAS-2002-Masse #abstract interpretation #semantics
Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties (DM), pp. 428–443.
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.