咨询与建议

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 软件工程

主题

  • 1 篇 typed assembly l...
  • 1 篇 certifying compi...
  • 1 篇 existential quan...
  • 1 篇 type inference
  • 1 篇 object-oriented ...

机构

  • 1 篇 univ calif san d...

作者

  • 1 篇 tate ross
  • 1 篇 chen juan
  • 1 篇 hawblitzel chris

语言

  • 1 篇 英文
检索条件"主题词=Object-oriented compiler"
1 条 记 录,以下是1-10 订阅
排序:
Inferable object-oriented Typed Assembly Language  10
Inferable Object-Oriented Typed Assembly Language
收藏 引用
ACM SIGPLAN Conference on Programming Language Design and Implementation
作者: Tate, Ross Chen, Juan Hawblitzel, Chris Univ Calif San Diego San Diego CA 92103 USA
A certifying compiler preserves type information through compilation to assembly language programs, producing typed assembly language (TAL) programs that can be verified for safety independently so that the compiler d... 详细信息
来源: 评论