Travelled to:1 × Italy
1 × The Netherlands
1 × United Kingdom
Collaborated with:J.Giavitto A.Spicher D.D.Vito J.Sansonnet
Talks about:declar (2) subdivis (1) structur (1) sequenti (1) approxim (1) topolog (1) definit (1) stream (1) semant (1) rewrit (1)
Person: Olivier Michel
DBLP: Michel:Olivier
Contributed to:
2010
20011997
1992Wrote 4 papers:
- ICGT-2010-SpicherMG #declarative #using
- Declarative Mesh Subdivision Using Topological Rewriting in MGS (AS, OM, JLG), pp. 298–313.
- PPDP-2001-GiavittoM #approximate #data type #declarative
- Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains (JLG, OM), pp. 150–161.
- PLILP-1997-GiavittoVM #compilation #recursion #semantics
- Semantics and Compilation of Recursive Sequential Streams in 8½ (JLG, DDV, OM), pp. 207–223.
- WSA-1992-GiavittoSM #french
- Inférer rapidement la géométrie des collections (JLG, JPS, OM), pp. 185–193.