登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

基于CompCert的智能合约中间语言的可信编译
出版社：中国科学院软件研究所
出版年：2024
作者：许颖
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

自动编译生成（CGG）系统中AIM中间语言优化
  • 作者：高伟
  • 出版年：1988
...

自动编译生成(CGG)系统中AIM中间语言优化
  • 作者：程虎
  • 出版社：中国科学院
  • 出版年：1988
...

面向基础线性代数的编译器中间语言设计与优化研究
  • 作者：陈振川
  • 出版社：中国科学院计算技术研究所
  • 出版年：2023
...

一种新型的Prolog中间语言及其运行环境
  • 作者：王子骏
  • 出版年：1993
...

用类型保持编译技术构造高可信系统
  • 作者：陈晖
  • 出版年：2005
...

可信编译构造理论与关键技术
  • 作者：何炎祥
  • ISBN：9787030364203
  • 出版社：科学出版社
  • 出版年：2013