Vol. 62, No. 1, 2019 Cover Contents

HIGHLIGHT Website SpringerLink Google Scholar Cited in SCI: 0

A formally verified transformation to unify multiple nested clocks for a Lustre-like language
Shi, Gang; Zhang, Yucheng; Shang, Shu; Wang, Shengyuan; Dong, Yuan; Yew, Pen-Chung
Sci China Inf Sci, 2019, 62(1): 012801
Keywords: synchronous data-flow languages; nested clocks; clock-unifying; certified compilers; Lustre; Coq
Cite as: Shi G, Zhang Y C, Shang S, et al. A formally verified transformation to unify multiple nested clocks for a Lustre-like language. Sci China Inf Sci, 2019, 62(1): 012801, doi: 10.1007/s11432-016-9270-0