Ping Yang Shengyuan Wang 同步数据流语言可信编译器的研究进展 (Survey on Trustworthy Compilers for Synchronous Data-flow Languages). 21-28 2019 46 计算机科学 5 https://doi.org/10.11896/j.issn.1002-137X.2019.05.003 http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2019.05.003 db/journals/jsjkx/jsjkx46.html#YangW19