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

Collaborated with:
T.Ehrhard J.Krivine I.Cristescu J.Feret
Talks about:
increment (1) counter (1) analysi (1) static (1) semant (1) rewrit (1) updat (1) simul (1) kappa (1) graph (1)

Person: Pierre Boutillier

DBLP DBLP: Boutillier:Pierre

Contributed to:

ESOP 20172017
ESOP 20192019

Wrote 2 papers:

ESOP-2017-BoutillierEK #graph grammar #incremental
Incremental Update for Graph Rewriting (PB, TE, JK), pp. 201–228.
ESOP-2019-BoutillierCF #semantics #simulation #static analysis
Counters in Kappa: Semantics, Simulation, and Static Analysis (PB, IC, JF), pp. 176–204.

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.