Travelled to:1 × France
1 × United Kingdom
Collaborated with:R.d.Simone J.Talpin K.Schneider
Talks about:synchron (2) construct (1) reachabl (1) reactiv (1) program (1) syntax (1) execut (1) driven (1) compil (1) state (1)
Person: Eric Vecchié
DBLP: Vecchi=eacute=:Eric
Contributed to:
2009
2005Wrote 2 papers:
- DATE-2009-VecchieTS #compilation #execution #imperative
- Separate compilation and execution of imperative synchronous modules (EV, JPT, KS), pp. 1580–1583.
- CAV-2005-VecchieS #source code
- Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs (EV, RdS), pp. 213–225.