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: Boutillier:Pierre
Contributed to:
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.