Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

2 Results
authFullName_s : Shuanglong Kan
Image document

A refinement-based compiler development for synchronous languages

Jean-Paul Bodeveix , M Filali , Shuanglong Kan
15th International Conference on Formal Methods and Models for System Design (MEMOCODE 2017), ACM; SIGBED; SIGDA; IEEE CEDA; IEEE CAS, Sep 2017, Vienne, Austria. pp.165-174, ⟨10.1145/3127041.3127056⟩
Conference papers hal-03764356v1
Image document

A Refinement-based compiler development for synchronous languages

Jean-Paul Bodeveix , M Filali , Shuanglong Kan
15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017), Sep 2017, Vienna, Austria. pp.165-174, ⟨10.1145/3127041.3127056⟩
Conference papers hal-03624681v1