托德·B·诺布洛克
人员信息
SPARQL查询
优化列表
2000 – 2009
2001 [j3] 托德·B·诺布洛克 , 雅各布·雷霍夫 :
Java字节码的类型细化和子类型完成。 ACM事务处理。 程序。 语言系统。 23 ( 2 ) : 243-272 ( 2001 ) 2000 [注2] 罗伯特·菲茨杰拉德 , 托德·B·诺布洛克 , 埃里克·鲁夫 , 比亚恩·斯坦斯加德 , 大卫·塔迪蒂 :
Marmot:一个针对Java的优化编译器。 柔和。 实际。 支出。 30 ( 三 ) : 199-232 ( 2000 ) [c5] 托德·B·诺布洛克 , 雅各布·雷霍夫 :
Java字节码的类型精化和子类型完成。 POPL公司 2000 : 228-242
1990 – 1999
1997 【c4】 威廉·博洛斯基 , 理查德·德拉夫斯 , 罗伯特·菲茨杰拉德 , 克里斯托弗·弗雷泽 , 迈克尔·B·琼斯 , 托德·B·诺布洛克 , 理查德·拉希德 :
下一个千年的操作系统方向。 操作系统热点专题研讨会 1997 : 106-110 1996 【c3】 托德·B·诺布洛克 , 埃里克·鲁夫 :
数据专业化。 PLDI公司 1996 : 215-225 1995 【c2】 布莱恩·肯特 , 托德·B·诺布洛克 , 埃里克·鲁夫 :
专用着色器。 SIGGRAPH公司 1995 : 343-350
1980 – 1989
1988 【b2】 托德·B·诺布洛克 :
类型理论中的元数学可扩展性。 美国康奈尔大学, 1988 1986 【b1】 罗伯特·康斯特布尔 , 斯图亚特·艾伦 , 布罗姆利 , 兰斯·克莱维兰 , J.F.克里默 , 罗伯·哈波 , 道格拉斯·J·豪 , 托德·B·诺布洛克 , 纳克斯·保罗·门德勒 , 普拉卡什·帕南加登 , 詹姆斯·佐佐木 , 斯科特·史密斯 :
用Nuprl证明开发系统实现数学。 普伦蒂斯·霍尔 1986 ,国际标准图书编号 978-0-13-451832-9 第I-X页,1-299页 【c1】 托德·B·诺布洛克 , 罗伯特·康斯特布尔 :
类型理论中的形式化元推理。 低收入国家 1986 : 237-248 1985 [j1] 罗伯特·康斯特布尔 , 托德·B·诺布洛克 , 约瑟夫·贝茨 :
编写构造证明的程序。 J.汽车。 原因。 1 ( 三 ) : 285-326 ( 1985 )