A Proof Theory for Machine Code
A Proof Theory for Machine Code
复制标题
机器代码的证明理论
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Atsushi Ohori
中科院分区：
文献类型：
--
作者：
N. Katoh;M. Ohsaki;T. Kinoshita;S. Tanigawa;D. Avis and I. Streinu;Atsushi Ohori
登录
查看更多内容
构造性逻辑第一部分：证明系统和类型伽马演算教程
影响因子：
1.1
作者：
Jean H. Gallier
通讯作者：
Jean H. Gallier
通过证明转换进行寄存器分配
DOI：
--
发表时间：
2004
期刊：
Journal of Science of Computer Programming 50・1-3
影响因子：
--
作者：
渡谷 賢治;田島 敬史;A.Ohori
通讯作者：
A.Ohori
Java 字节码子例程的类型系统
DOI：
10.1145/314602.314606
发表时间：
1999
期刊：
ACM Trans. Program. Lang. Syst.
影响因子：
--
作者：
Raymie Stata;M. Abadi
通讯作者：
M. Abadi
影响因子：
1.3
作者：
G. Cousineau;P. Curien;Michel Mauny
通讯作者：
Michel Mauny
DOI：
--
发表时间：
1979
期刊：
Software, Practice & Experience
影响因子：
--
作者：
D. Turner
通讯作者：
D. Turner