格雷格·纳尔逊
人员信息
其他同名人员
格雷格·纳尔逊 -华盛顿大学,西雅图,华盛顿州,美国
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2017 [j13] 埃里克·惠特迈尔 , 莫希特·贾恩 , 迪维·贾恩 , 格雷格·纳尔逊 , 拉维·卡卡尔 , Shwetak N.Patel公司 , 马扬克·戈尔 :
DigiTouch:头戴式显示器上可配置的拇指对手指输入和文本输入。 程序。 ACM互动。 暴徒。 可穿戴的无所不在技术。 1 ( 三 ) : 113:1-113:21 ( 2017 ) 2013 [公元12年] 科马克·弗拉纳根 , K.鲁斯坦M.莱诺 , 马克·利利布里奇 , 格雷格·纳尔逊 , 詹姆斯·萨克斯 , 雷米·斯塔塔 :
PLDI 2002:Java的扩展静态检查。 ACM SIGPLAN通知 48 ( 4S汽车 ) : 22-33 ( 2013 )
2000 – 2009
2006 [j11] 拉杰夫·乔希 , 格雷格·纳尔逊 , 周云红 :
Denali:生成最佳代码的实用算法。 ACM事务处理。 程序。 语言系统。 28 ( 6 ) : 967-989 ( 2006 ) [第16条] 林晓凡 , 许超 , 格雷格·纳尔逊 , 埃尔萨·杜兰特 :
活动文档版本控制:从布局理解到调整。 灾难风险纾解 2006 : 60670E(东经) 2005 [j10] 大卫·德特勒夫 , 格雷格·纳尔逊 , 詹姆斯·萨克斯 :
简化:用于程序检查的定理证明器。 J.ACM公司 52 ( 三 ) : 365-473 ( 2005 ) 2004 [第15条] 格雷格·纳尔逊 :
Java扩展静态检查。 MPC公司 2004 : 1 2003 [第14条] 格雷格·纳尔逊 :
通过E图中的匹配推理量词。 CADE公司 2003 : 166 2002 [公元9年] K.鲁斯坦·莱诺 , 格雷格·纳尔逊 :
数据抽象和信息隐藏。 ACM事务处理。 程序。 语言系统。 24 ( 5 ) : 491-553 ( 2002 ) [第13条] 格雷格·纳尔逊 :
基于约束的Illustrator的基础。 FroCoS公司 2002 : 1 [第12条] 科马克·弗拉纳根 , K.鲁斯坦·莱诺 , 马克·利利布里奇 , 格雷格·纳尔逊 , 詹姆斯·B·萨克斯 , 雷米·斯塔塔 :
Java扩展静态检查。 PLDI公司 2002 : 234-245 [第11条] 拉杰夫·乔希 , 格雷格·纳尔逊 , 基思·H·兰德尔 :
Denali:一个目标导向的超级优化器。 PLDI公司 2002 : 304-314
1990 – 1999
1998 [第10条] K.鲁斯坦·莱诺 , 格雷格·纳尔逊 :
一种适用于Modular-3的扩展静态检查器。 科科斯群岛 1998 : 302-305 1997 [j8] 斯特凡·萨维奇 , 迈克尔·伯罗斯 , 格雷格·纳尔逊 , 帕特里克·索巴尔瓦罗 , 托马斯·安德森 :
橡皮擦:多线程程序的动态数据竞争检测器。 ACM事务处理。 计算。 系统。 15 ( 4 ) : 391-411 ( 1997 ) 【c9】 斯特凡·萨维奇 , 迈克尔·伯罗斯 , 格雷格·纳尔逊 , 帕特里克·索巴尔瓦罗 , 托马斯·安德森 :
橡皮擦:多线程程序的动态数据竞争检测器。 SOSP(标准操作程序) 1997 : 27-37 1995 [j7] 安德鲁·伯雷尔 , 格雷格·纳尔逊 , 苏珊·S·奥维基 , 爱德华·沃伯 :
网络对象。 柔和。 实际。 支出。 25 ( S4系列 ) : S4系列 ( 1995 ) 【c8】 史蒂文·格拉斯曼 , 格雷格·纳尔逊 :
欧几里德命题47的动画:勾股定理。 SCG公司 1995 : V3-V4型 1994 [j6] 曼弗雷德·布罗伊 , 格雷格·纳尔逊 :
为Dijkstra的微积分添加公平选择。 ACM事务处理。 程序。 语言系统。 16 ( 三 ) : 924-938 ( 1994 ) 【c7】 安娜·R·卡林 , 格雷格·纳尔逊 , 田木久雄 :
关于蝴蝶的容错性。 STOC公司 1994 : 125-133 1993 【c6】 安德鲁·伯雷尔 , 格雷格·纳尔逊 , 苏珊·S·奥维基 , 爱德华·沃伯 :
网络对象。 SOSP(标准操作程序) 1993 : 217-230 1992 [j5] 鲁卡·凯德利 , 詹姆斯·多纳休 , 露西尔·格拉斯曼 , 米克·乔丹 , 比尔·卡尔索 , 格雷格·纳尔逊 :
Modula-3语言定义。 ACM SIGPLAN通知 27 ( 8 ) : 15-42 ( 1992 ) 【c5】 大卫·布尔曼 , S.Tucker塔夫脱 , 贝特朗·梅耶 , 格雷格·纳尔逊 , 迈克·基利安 :
OOP语言提供强大的静态类型(面板)。 OOPSLA公司 1992 : 87-91 1990 【j4】 保罗·萨加德 , 基思·霍利约克 , 格雷格·纳尔逊 , 大卫·戈奇菲尔德 :
通过约束满足模拟Wetrieval。 Artif公司。 智力。 46 ( 三 ) : 259-310 ( 1990 )
1980 – 1989
1989 [j3] 格雷格·纳尔逊 :
Dijkstra微积分的推广。 ACM事务处理。 程序。 语言系统。 11 ( 4 ) : 517-561 ( 1989 ) 【c4】 鲁卡·凯德利 , 詹姆斯·多纳休 , 米克·乔丹 , 比尔·卡尔索 , 格雷格·纳尔逊 :
Modula-3型系统。 POPL公司 1989 : 202-212 1985 【c3】 格雷格·纳尔逊 :
Juno是一个基于约束的图形系统。 SIGGRAPH公司 1985 : 235-243 1983 【c2】 格雷格·纳尔逊 :
验证链接结构的可达性不变量。 POPL公司 1983 : 38-47 1980 [注2] 格雷格·纳尔逊 , 德里克·奥本 :
基于同余闭包的快速决策过程。 J.ACM公司 27 ( 2 ) : 356-364 ( 1980 )
1970 – 1979
1979 [j1] 格雷格·纳尔逊 , 德里克·奥本 :
通过合作决策程序简化。 ACM事务处理。 程序。 语言系统。 1 ( 2 ) : 245-257 ( 1979 ) 1977 [c1] 格雷格·纳尔逊 , 德里克·奥本 :
基于并集和查找的快速决策算法。 光纤通信系统 1977 : 114-119
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)