Travelled to:
1 × Italy
1 × Spain
Collaborated with:
A.Toom M.Pantel P.Garoche T.Kahsai A.Taillar X.Thirioux
Talks about:
synchron (1) dataflow (1) contract (1) approach (1) softwar (1) product (1) librari (1) languag (1) specif (1) semant (1)
Person: Arnaud Dieumegard
DBLP: Dieumegard:Arnaud
Contributed to:
Wrote 2 papers:
- SAC-2015-DieumegardGKTT #compilation #contract
- Compilation of synchronous observers as code contracts (AD, PLG, TK, AT, XT), pp. 1933–1939.
- SPLC-2014-DieumegardTP #approach #data flow #library #product line #semantics #specification
- A software product line approach for semantic specification of block libraries in dataflow languages (AD, AT, MP), pp. 217–226.