罗伯特·卡特赖特
人员信息
附属: 美国休斯顿莱斯大学
优化列表
2020年–今天
2022 [公元49年] Ahsan Pervaiz公司 , 杨耀雄 , 亚当·杜拉茨 , 费伦茨·A·巴萨 , 柳池赛 , 康诺·艾姆斯 , 罗伯特·卡特赖特 , 克里希纳·V·帕勒姆 , 山路 , 亨利·霍夫曼 :
目标:支持计算系统中的通用和动态适应。 向前的! 2022 : 16-32
2010 – 2019
2019 [公元10年] 萨伊德·巴拉蒂 , 费伦茨·A·巴萨 , 斯瓦南多·比斯瓦斯 , 罗伯特·卡特赖特 , 亚当·杜拉茨 , 唐纳德·福塞尔 , 亨利·霍夫曼 , 康诺·艾姆斯 , 杰森·米勒 , 尼基塔·米什拉 , 阿尔文德 , Dung Nguyen公司 , 克里希纳·V·帕勒姆 , 阎培 , 凯沙夫·平加里 , 柳池赛 , 安德鲁·怀特 , 杨耀雄 , 张思卓 :
Proteus:自适应软件开发的语言和运行时支持。 IEEE软件。 36 ( 2 ) : 73-82 ( 2019 ) [i4] 杨耀雄 , 亚当·杜拉茨 , 费伦茨·A·巴萨 , 柳池赛 , Ahsan Pervaiz公司 , 萨伊德·巴拉蒂 , Dung Nguyen公司 , 罗伯特·卡特赖特 , 亨利·霍夫曼 , 克里希纳·V·帕勒姆 :
适应的语言支持:FAST中的意图驱动编程。 CoRR公司 abs/1907.08695 ( 2019 ) 2018 [i3] 莫伊斯·阿卜杜勒·加瓦德 , 罗伯特·卡特赖特 :
NOOP:名义类型OOP的领域理论模型。 CoRR公司 abs/1801.06793 ( 2018 ) 2016 [公元9年] 瓦利德·塔哈 , 曾英福 , 亚当·杜拉茨 , 费旭 , 凯文·阿特金森 , 保罗·布劳纳 , 罗伯特·卡特赖特 , 罗兰·菲利普森 :
开发关于网络物理系统的第一门课程。 SIGBED版本。 14 ( 1 ) : 44-52 ( 2016 ) [i2] 罗伯特·卡特赖特 , 丽贝卡·帕森斯 , 莫伊斯·阿卜杜勒·加瓦德 :
领域理论:导论。 CoRR公司 abs/1605.05858 ( 2016 ) 2015 [公元48年] 瓦利德·塔哈 , 亚当·杜拉茨 , 曾英福 , 凯文·阿特金森 , 费伦茨·A·巴萨 , 保罗·布劳纳 , 扬·杜拉茨 , 费旭 , 罗伯特·卡特赖特 , 米查尔·科内肯(Michal Konecn) , 尤金尼奥·莫吉 , 贾瓦德·马苏德 , 佩雷里克·安德烈亚松 , 井上俊美 , 安妮塔·皮涅罗·圣安娜 , 罗兰·菲利普森 , 亚历山大·查普特 , 马西娅·奥马利 , 亚伦·D·艾姆斯 , 维罗尼卡·加斯佩斯 , Lise Hvatum公司 , 希亚姆·梅塔 , 亨利克·埃里克森 , 克里斯蒂安·格兰特 :
Acumen:网络物理系统研究的开放源代码测试平台。 物联网360(1) 2015 : 118-130 2014 [公元47年] 瓦利德·塔哈 , 罗伯特·卡特赖特 , 罗兰·菲利普森 , 曾英福 :
开发网络物理系统的第一门课程。 WESE公司 2014 : 6:1-6:8 [公元46年] 曾英福 , 乍得·G·罗斯 , 保罗·布劳纳 , 瓦利德·塔哈 , 贾瓦德·马苏德 , 罗兰·菲利普森 , 玛西娅·基尔琴曼·奥马利 , 罗伯特·卡特赖特 :
网络物理系统建模基本方面,第二部分(扩展摘要)。 HPCC/CSS/ICESS公司 2014 : 550-557 [i1] 曾英福 , 乍得·G·罗斯 , 保罗·布劳纳 , 瓦利德·塔哈 , 贾瓦德·马苏德 , 罗兰·菲利普森 , 马西娅·奥马利 , 罗伯特·卡特赖特 :
网络物理系统的建模基本方面,第二部分。 CoRR公司 abs/1408.1110 ( 2014 ) 2012 [公元45年] 瓦利德·塔哈 , 保罗·布劳纳 , 曾英福 , 罗伯特·卡特赖特 , 维罗尼卡天然气公司 , 亚伦·D·艾姆斯 , 亚历山大·查普特 :
网络物理系统可执行模型的核心语言(初步报告)。 ICDCS研讨会 2012 : 303-308 2011 [j8] 瓦利德·塔哈 , 保罗·布劳纳 , 罗伯特·卡特赖特 , 维罗尼卡·加斯佩斯 , 亚伦·D·艾姆斯 , 亚历山大·查普特 :
网络物理系统可执行模型的核心语言:工作进度报告。 SIGBED版本。 8 ( 2 ) : 39-43 ( 2011 ) [公元44年] 瓦利德·塔哈 , 罗伯特·卡特赖特 :
实数问题(特邀论文)。 GI-Jahrestagung公司 2011 : 325 [公元43年] 贾雷德·佩恩 , 文森特·卡夫 , 拉加万·拉曼 , 马蒂亚斯·里肯 , 罗伯特·卡特赖特 , 维维克·萨卡尔 :
DrHJ:用于Habanero Java的轻量级教学IDE。 PPPJ公司 2011 : 147-150 2010 [公元42年] 安吉拉·朱云(Angela Yun Zhu) , 埃德温·韦斯特布鲁克 , 井上俊美 , 亚历山大·查普特 , 谢里夫·萨拉马 , 玛丽莎·琳娜·佩拉尔塔 , 特拉维斯·马丁 , 瓦利德·塔哈 , 马西娅·奥马利 , 罗伯特·卡特赖特 , 亚伦·D·艾姆斯 , 拉克蒂姆·巴塔查里亚 :
数学方程是机械系统的可执行模型。 ICCPS公司 2010 : 1-11 [公元41年] 马蒂亚斯·里肯 , 罗伯特·卡特赖特 :
测试教室的第一个Java并发性。 SIGCSE公司 2010 : 219-223
2000 – 2009
2009 [c40] 安吉拉·朱云(Angela Yun Zhu) , 瓦利德·塔哈 , 罗伯特·卡特赖特 , 马蒂厄·马特尔 , 杰里米·西克 :
寻求真正的答案。 ICESS公司 2009 : 115-122 [公元39年] 马蒂亚斯·里肯 , 罗伯特·卡特赖特 :
ConcJUnit:针对并发程序的单元测试。 PPPJ公司 2009 : 129-132 2008 [公元38年] 丹尼尔·史密斯 , 罗伯特·卡特赖特 :
Java类型推断被破坏了:我们能修复它吗? OOPSLA公司 2008 : 505-524 2007 [公元37年] 詹姆斯·萨西顿 , 罗伯特·卡特赖特 :
Component nextgen:一个适用于java的完善且富有表现力的组件框架。 OOPSLA公司 2007 : 153-170 [公元36年] 詹姆斯·萨西顿 , 罗伯特·卡特赖特 :
从泛型派生组件。 囊 2007 : 1109-1116 2006 [j7] 埃里克·艾伦 , 罗伯特·卡特赖特 :
通用Java中的安全实例化。 科学。 计算。 程序。 59 ( 1-2 ) : 26-37 ( 2006 ) [公元35年] 詹姆斯·萨西顿 , 罗伯特·卡特赖特 :
库存Java虚拟机上的高效一流泛型。 囊 2006 : 1621-1628 2005 [公元34年] 詹姆斯·I·夏 , 埃尔斯佩思·辛普森 , 丹尼尔·史密斯 , 罗伯特·卡特赖特 :
为教室驯服Java。 SIGCSE公司 2005 : 327-331 2004 [c33] 埃里克·艾伦 , 罗伯特·卡特赖特 :
通用Java中的安全实例化。 PPPJ公司 2004 : 61-66 [公元32年] 查尔斯·里斯 , 罗伯特·卡特赖特 :
在课堂上驯服一个专业的IDE。 SIGCSE公司 2004 : 156-160 2003 [公元31年] 查尔斯·里斯 , 罗伯特·卡特赖特 :
Eclipse的友好面孔。 电子交易系统 2003 : 25-29 [公元30年] 埃里克·艾伦 , 乔纳森·班内特 , 罗伯特·卡特赖特 :
泛型的一流方法。 OOPSLA公司 2003 : 96-114 [公元29年] 埃里克·艾伦 , 罗伯特·卡特赖特 , 查尔斯·里斯 :
课堂上的生产编程。 SIGCSE公司 2003 : 89-93 2002 [公元28年] 埃里克·艾伦 , 罗伯特·卡特赖特 , 布莱恩·斯托勒 :
Java运行时泛型类型的高效实现。 通用程序设计 2002 : 207-236 [公元27年] 埃里克·艾伦 , 罗伯特·卡特赖特 :
通用Java中运行时类型的情况。 PPPJ/IRE公司 2002 : 19-24 [公元26年] 埃里克·艾伦 , 罗伯特·卡特赖特 , 布莱恩·斯托勒 :
DrJava:针对Java的轻量级教学环境。 SIGCSE公司 2002 : 137-141
1990 – 1999
1999 [c25] 马提亚斯·费莱森 , 罗伯特·卡特赖特 :
安全作为衡量标准。 CSEE&T公司 1999 : 129-131 1998 [公元24年] 罗伯特·卡特赖特 , 盖伊·斯蒂尔(Guy L.Steele Jr.)。 :
与Java编程语言的运行时类型兼容的通用性。 OOPSLA公司 1998 : 201-215 1997 [j6] 安德鲁·赖特 , 罗伯特·卡特赖特 :
一个实用的方案软类型系统。 ACM事务处理。 程序。 语言系统。 19 ( 1 ) : 87-152 ( 1997 ) 1996 [j5] 罗伯特·卡特赖特 , 马提亚斯·费莱森 :
通过软键入进行程序验证。 ACM计算。 Surv公司。 28 ( 2 ) : 349-351 ( 1996 ) 【j4】 嘉惠游 , 罗伯特·卡特赖特 , 李明(音) :
扩展逻辑程序设计中的迭代信念修正。 理论。 计算。 科学。 170 ( 1-2 ) : 383-406 ( 1996 ) 1994 [j3] 罗伯特·卡特赖特 , 皮埃尔·路易斯·居里 , 马提亚斯·费莱森 :
可观测序列语言的完全抽象语义。 Inf.计算。 111 ( 2 ) : 297-401 ( 1994 ) 【c23】 安德鲁·K·赖特 , 罗伯特·卡特赖特 :
一个实用的方案软类型系统。 LISP与函数编程 1994 : 250-262 [公元22年] 嘉惠游 , 罗伯特·卡特赖特 :
通过迭代信念修正的可追踪论证语义。 仪表着陆点 1994 : 239-253 【c21】 罗伯特·卡特赖特 , 马提亚斯·费莱森 :
可扩展表示语言规范。 节气门执行器控制系统 1994 : 244-272 1993 [公元20年] 拉马拉奥·卡内甘蒂 , 罗伯特·卡特赖特 :
什么是通用高级编程语言? ICALP公司 1993 : 682-695 [电子1] 罗伯特·卡特赖特 :
1993年6月23日至25日,美国新墨西哥州阿尔伯克基举行的ACM SIGPLAN’93编程语言设计与实现(PLDI)会议记录。 ACM公司 1993 ,国际标准图书编号 0-89791-598-4 [目录] 1992 [第19条] 罗伯特·卡特赖特 , 马提亚斯·费莱森 :
可观测的序列性和完全抽象。 POPL公司 1992 : 328-342 [第18条] 拉马拉奥·卡内甘蒂 , 罗伯特·卡特赖特 , 马提亚斯·费莱森 :
SPCF:其模型、微积分和计算能力(初版)。 REX研讨会 1992 : 318-347 1991 [第17条] 罗伯特·卡特赖特 :
Lambda:终极组合器。 人工和数学计算理论 1991 : 27-46 [第16条] 罗伯特·卡特赖特 , 麦克·范刚 :
软输入。 PLDI公司 1991 : 278-292 [第15条] 罗伯特·卡特赖特 , 麦克·范刚 :
软打字(具有回顾性)。 最佳PLDI 1991 : 412-428
1980 – 1989
1989 [第14条] 罗伯特·卡特赖特 , 马提亚斯·费莱森 :
程序依赖的语义。 PLDI公司 1989 : 13-27 1988 [第13条] 罗伯特·卡特赖特 , 阿兰·德默斯 :
程序终止的拓扑。 许可证 1988 : 296-308 1986 [第12条] 汉斯·尤根·博姆 , 罗伯特·卡特赖特 , 马克·里格尔 , 迈克尔·奥唐纳 :
精确实数算法:高阶程序设计中的一个案例研究。 LISP与函数编程 1986 : 162-173 1985 [第11条] 罗伯特·卡特赖特 :
类型作为间隔。 POPL公司 1985 : 22-36 1984 [注2] 罗伯特·卡特赖特 :
递归程序在一阶逻辑中的定义。 SIAM J.计算。 13 ( 2 ) : 374-408 ( 1984 ) 1983 [第10条] 罗伯特·卡特赖特 :
一阶逻辑中的非标准不动点。 程序逻辑 1983 : 86-100 1982 【c9】 罗伯特·卡特赖特 , 詹姆斯·多纳休 :
懒惰(勤奋)评估的语义。 LISP与函数编程研讨会 1982 : 253-264 1981 [j1] 罗伯特·卡特赖特 , 德里克·奥本 :
混叠的逻辑。 信息学报 15 : 365-384 ( 1981 ) 【c8】 罗伯特·卡特赖特 :
走向程序数据的逻辑理论。 程序逻辑 1981 : 37-51 【c7】 罗伯特·卡特赖特 , 罗伯特·胡德 , 菲利普·马修斯 :
路径:指针的抽象替代。 POPL公司 1981 : 14-27 【c6】 罗伯特·卡特赖特 :
正式程序测试。 POPL公司 1981 : 125-132 1980 【c5】 罗伯特·卡特赖特 :
公理化数据类型定义的构造性替代方案。 LISP会议 1980 : 46-55
1970 – 1979
1979 [c4] 罗伯特·卡特赖特 , 约翰·麦卡锡 :
一阶编程逻辑。 POPL公司 1979 : 68-80 1978 【c3】 罗伯特·卡特赖特 , 约翰·麦卡锡 :
一阶理论中作为函数的递归程序。 信息处理的数学研究 1978 : 576-629 【c2】 罗伯特·卡特赖特 , 德里克·奥本 :
霍尔逻辑中的无限制过程调用。 POPL公司 1978 : 131-140 1977 【b2】 罗伯特·卡特赖特 :
一个实用的TYPED LISP形式化语义定义和验证系统。 美国斯坦福大学, 1977 1976 【b1】 罗伯特·卡特赖特 :
一个实用的TYPED LISP形式语义定义和验证系统。 计算机科学优秀论文 , Garland Publishing,纽约 1976 ,国际标准图书编号 0-8240-4420-7 【c1】 罗伯特·卡特赖特 :
帮助验证LISP程序的用户定义数据类型。 ICALP公司 1976 : 228-256