《表1 源语言特性 (L2C vs.Vélus)》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《同步数据流语言可信编译器Vélus与L2C的比较》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

相比Vélus，L2C之所以有更多的翻译阶段，主要有如下原因:（1）L2C立项时是面向实际的领域需求，所以支持较多和较为复杂的语言特性，而Vélus相关的工作主要面向学术研究，二者在源语言特性方面的对照参见表1；（2）实用语言的编译器开发需要不断维护，多阶段的翻译有利于可重用性及可扩展性，如CompCert面向可实用的C语言，其编译器结构中包含了许多翻译阶段；（3）安全攸关领域一般都有可追溯的要求，多阶段的翻译有利于提高可追溯性.