Frontiers of Computer Science. 2013;7(5):598-616. doi: 10.1007/s11704-013-3910-8 Q17.32025

Formal verification of synchronous data-flow program transformations toward certified compilers

面向认证编译器的同步数据流程序转换的形式化验证

DOI: 10.1007/s11704-013-3910-8

摘要 查看摘要

Copyright © Frontiers of Computer Science. 中文内容为AI机器翻译，仅供参考！