金·布鲁斯
人员信息
附属: 美国加利福尼亚州克莱蒙特波莫纳学院 隶属关系(前): 美国马萨诸塞州威廉斯敦威廉斯学院
其他同名人员
金·布鲁斯 0002 -美国俄克拉何马州阿尔瓦市西北俄克拉荷马州立大学
其他同名人员
优化列表
2020年–今天
2023 [公元57年] 安德鲁·布莱克 , 金·布鲁斯 , 詹姆斯·诺布尔 :
成为Eelco的重要性。 Eelco Visser纪念研讨会 2023 : 4:1-4:15
2010 – 2019
2019 [公元29年] 金·布鲁斯 , 弗雷德·马丁 :
点对点:批判性反思不一定意味着认可。 Inroads公司 10 ( 1 ) : 21-23 ( 2019 ) 2018 [公元28年] 金·布鲁斯 :
计算机教育中的五大开放问题。 Inroads公司 9 ( 4 ) : 77-80 ( 2018 ) 2017 [公元27年] 詹姆斯·诺布尔 , 安德鲁·布莱克 , 金·布鲁斯 , 迈克尔·霍默 , 提摩斯·琼斯 :
格雷斯的遗产。 J.对象技术。 16 ( 2 ) : 2:1-35 ( 2017 ) 2016 [公元56年] 安德鲁·布莱克 , 金·布鲁斯 , 詹姆斯·诺布尔 :
继承的本质。 一系列可以改变世界的成功案例 2016 : 73-94 [公元55年] 提摩斯·琼斯 , 迈克尔·霍默 , 詹姆斯·诺布尔 , 金·布鲁斯 :
没有类的对象继承。 ECOOP公司 2016 : 13:1-13:26 [公元54年] 詹姆斯·诺布尔 , 安德鲁·布莱克 , 金·布鲁斯 , 迈克尔·霍默 , 马克·米勒 :
左手等于。 向前的! 2016 : 224-237 [公元53年] 马克·刘易斯 , 道格拉斯·布兰克 , 金·布鲁斯 , 彼得·迈克尔·奥塞拉 :
不常见的教学语言。 SIGCSE公司 2016 : 492-493 [i1] 安德鲁·布莱克 , 金·布鲁斯 , 詹姆斯·诺布尔 :
继承的本质。 CoRR公司 abs/1601.02059 ( 2016 ) 2014 [第52条] 迈克尔·霍默 , 提摩斯·琼斯 , 詹姆斯·诺布尔 , 金·布鲁斯 , 安德鲁·布莱克 :
优美的方言。 ECOOP公司 2014 : 131-156 【p1】 迈克尔·J·吉平 , 金·布鲁斯 :
祈使性语言范式。 计算机手册,第3版(1) 2014 : 63: 1-22 2013 [第51条] 詹姆斯·诺布尔 , 迈克尔·霍默 , 金·布鲁斯 , 安德鲁·布莱克 :
设计格雷斯:入门编程语言能支持软件工程的教学吗? CSEE&T公司 2013 : 219-228 [公元50年] 安德鲁·布莱克 , 金·布鲁斯 , 迈克尔·霍默 , 詹姆斯·诺布尔 , 艾米·罗斯金 , 理查德·亚诺 :
寻求优雅:一种面向对象的新手语言。 SIGCSE公司 2013 : 129-134 2012 [公元49年] 迈克尔·霍默 , 詹姆斯·诺布尔 , 金·布鲁斯 , 安德鲁·布莱克 , 大卫·J·皮尔斯 :
模式作为优雅的对象。 DLS公司 2012 : 17-28 [公元48年] 安德鲁·布莱克 , 金·布鲁斯 , 迈克尔·霍默 , 詹姆斯·诺布尔 :
格雷斯:没有(无关紧要的)困难。 向前的! 2012 : 85-98 2010 [公元26年] 金·布鲁斯 , 罗伯特·D·库珀 , 罗伯特·斯科特·德莱斯代尔 :
文科计算机科学联合会及其示范课程的历史。 ACM事务处理。 计算。 教育。 10 ( 1 ) : 3:1-3:12 ( 2010 ) [公元25年] 唐卡·F·法卡斯 , 金·布鲁斯 :
关于对断言和极性问题的反应。 J.塞蒙特。 27 ( 1 ) : 81-118 ( 2010 ) [公元47年] 安德鲁·布莱克 , 金·布鲁斯 , 詹姆斯·诺布尔 :
小组:设计下一个教育编程语言。 SPLASH/OOPSLA公司 2010 : 201-204 [公元46年] 维杰·A·萨拉斯瓦特 , 金·布鲁斯 :
并行和并行课程。 SPLASH/OOPSLA公司 2010 : 281-282 [公元45年] 大卫·G·凯 , 金·布鲁斯 , 迈克尔·J·克兰西 , 内尔·B·戴尔 , 古兹迪阿尔 , 埃里克·罗伯茨 :
认可最具影响力的CS教育论文。 SIGCSE公司 2010 : 196-197 [公元44年] 金·布鲁斯 , 安德烈亚·波霍雷基·达尼卢克 , 托马斯·穆尔塔赫(Thomas P.Murtagh) :
在CS 1中引入并发。 SIGCSE公司 2010 : 224-228
2000 – 2009
2009 [公元43年] 马克·W·贝利 , 金·布鲁斯 , 凯瑟琳·费舍尔 , 罗伯·哈波 , 李杰斯 :
2008年SIGPLAN编程语言课程研讨会报告:初步报告。 SIGCSE公司 2009 : 132-133 2008 [公元24年] 艾瑞克·艾伦 , 马克·W·贝利 , 拉斯蒂斯拉夫·博迪克 , 金·布鲁斯 , 凯瑟琳·费舍尔 , 斯蒂芬·弗伦德 , 罗伯·哈波 , 钱德拉·克林茨 , 克里希纳穆西神社 , 詹姆斯·拉鲁斯 , 道格利 , 加里·莱文斯 , 洛丽·波洛克 , 李杰斯 , 马丁·里纳德 , 马克·谢尔顿 , 弗兰克林·图巴克 , 米切尔·旺德 :
SIGPLAN编程语言课程研讨会:讨论摘要和建议。 ACM SIGPLAN通知 43 ( 11 ) : 6-29 ( 2008 ) [公元23年] 金·布鲁斯 , 斯蒂芬·弗伦德 :
文科教育中的编程语言。 ACM SIGPLAN通知 43 ( 11 ) : 45-49 ( 2008 ) [公元22年] 金·布鲁斯 , 斯蒂芬·弗伦德 :
编程语言是核心计算机科学的一部分。 ACM SIGPLAN通知 43 ( 11 ) : 50-54 ( 2008 ) 2006 [公元42年] 埃里克·罗伯茨 , 金·布鲁斯 , 詹姆斯·克罗斯二世 , 罗布·卡特勒 , 斯科特·格里森 , 卡尔·J·克莱 , 苏珊·罗杰 , 弗兰·特里斯 , 伊恩·尤廷 , 弗兰克·耶林 :
ACM java特别工作组:最终报告。 SIGCSE公司 2006 : 131-132 2005 [公元21年] 金·布鲁斯 :
关于如何教授CS 1的争论:关于SIGCSE成员邮件列表的讨论。 ACM SIGCSE公牛。 37 ( 2 ) : 111-117 ( 2005 ) [公元41年] 金·布鲁斯 :
使用抽象使概念具体化。 SIGCSE公司 2005 : 1 [公元40年] 埃里克·罗伯茨 , 金·布鲁斯 , 罗布·卡特勒 , 詹姆斯·克罗斯二世 , 斯科特·B·格里森 , 卡尔·J·克莱 , 苏珊·罗杰 , 法兰树 , 伊恩·尤廷 , 弗兰克·耶林 :
ACM java任务组:状态报告。 SIGCSE公司 2005 : 46-47 [公元39年] 金·布鲁斯 , 安德烈亚·波霍雷基·达尼卢克 , 托马斯·默塔格 :
为什么在CS 1中,结构递归应该在数组之前讲授。 SIGCSE公司 2005 : 246-250 [公元38年] 乔·伯金 , 金·布鲁斯 , 迈克尔·科林 :
对象-早期工具:演示。 SIGCSE公司 2005 : 390-391 [公元37年] 欧文·L·阿斯特拉坎 , 金·布鲁斯 , 埃利奥特·科夫曼 , 迈克尔·科林 , 李杰斯 :
已解决:早期对象已失败。 SIGCSE公司 2005 : 451-452 2004 [公元20年] 金·布鲁斯 :
关于如何教授CS 1的争论:关于SIGCSE成员邮件列表的讨论。 ACM SIGCSE公牛。 36 ( 4 ) : 29-34 ( 2004 ) [公元36年] 金·布鲁斯 , J.内森·福斯特 :
LOOJ:将LOOM编织成Java。 ECOOP公司 2004 : 389-413 [公元35年] 金·布鲁斯 :
关于如何教授CS 1的争论:关于SIGCSE成员邮件列表的讨论。 ITiCSE-WGR公司 2004 : 29-34 [公元34年] 金·布鲁斯 , 安德烈亚·波霍雷基·达尼卢克 :
事件驱动编程有助于学习标准编程概念。 OOPSLA指南 2004 : 96-100 [公元33年] 艾丽斯·布雷迪 , 金·布鲁斯 , 罗伯特·E·努南 , 艾伦·B·塔克 , 亨利·麦凯·沃克 :
2003年计算机科学文科学位示范课程:初步报告。 SIGCSE公司 2004 : 282-283 2003 [公元19年] 金·布鲁斯 , 罗伯特·斯科特·德莱斯代尔 , 查尔斯·科勒曼 , 艾伦·B·塔克 :
为什么是数学? Commun公司。 ACM公司 46 ( 9 ) : 40-44 ( 2003 ) [公元18年] 金·布鲁斯 , 安吉拉·舒特 , 罗伯特·范根特 , 阿德里安·菲奇 :
PolyTOIL:一种类型安全的多态面向对象语言。 ACM事务处理。 程序。 语言系统。 25 ( 2 ) : 225-290 ( 2003 ) [公元32年] 伊莎贝尔·米歇尔斯 , 尤根·伯斯特勒(Jürgen Börstler) , 金·布鲁斯 , 亚历杭德罗·费尔南德斯 :
用于学习面向对象概念的工具和环境。 ECOOP研讨会 2003 : 119-129 [公元31年] 金·布鲁斯 :
弯曲而不断裂:使软件更加灵活:扩展抽象。 埃尔肖夫纪念大会 2003 : 46-49 [公元30年] 金·布鲁斯 :
面向对象语言中的一些具有挑战性的类型问题。 木材 2003 : 1-29 2002 【b1】 金·布鲁斯 :
面向对象语言的基础——类型和语义。 麻省理工学院出版社 2002 ,国际标准图书编号 978-0-262-02523-2 第I-XX页,1-384 [j17] 金·布鲁斯 , 迪迪埃·雷米 :
客座编辑:面向对象语言基础。 Inf.计算。 172 ( 1 ) : 1 ( 2002 ) [公元16年] 金·布鲁斯 :
客座编辑:面向对象语言基础研讨会。 Inf.计算。 175 ( 1 ) : 1-2 ( 2002 ) [公元29年] 伊莎贝尔·米歇尔斯 , 尤根·伯斯特勒(Jürgen Börstler) , 金·布鲁斯 :
用于学习面向对象概念的工具和环境。 ECOOP研讨会 2002 : 30-43 2001 [公元28年] 金·布鲁斯 , 安德烈亚·波霍雷基·达尼卢克 , 托马斯·穆尔塔赫(Thomas P.Murtagh) :
事件驱动编程对于CS1来说足够简单。 ITiCSE公司 2001 : 1-4 [公元27年] 金·布鲁斯 , 安德烈亚·波霍雷基·达尼卢克 , 托马斯·默塔格 :
支持基于图形的对象第一种CS1方法的库。 SIGCSE公司 2001 : 6-10 [公元26年] 艾伦·B·塔克 , 查尔斯·科勒曼 , 金·布鲁斯 :
我们的课程已经变成了数学恐惧症! SIGCSE公司 2001 : 243-247 2000 [公元15年] 金·布鲁斯 :
2001年课程草案缺乏编程语言。 ACM SIGPLAN通知 35 ( 4 ) : 26-28 ( 2000 ) [公元25年] 查尔斯·科勒曼 , 艾伦·B·塔克 , 彼得·亨德森 , 欧文·L·阿斯特拉坎 , 金·布鲁斯 :
我们的课程变得厌学了吗? (美国人的观点)。 ITiCSE公司 2000 : 132-135
1990 – 1999
1999 [公元14年] 金·布鲁斯 , 鲁卡·凯德利 , 本杰明·皮尔斯 :
比较对象编码。 Inf.计算。 155 ( 1-2 ) : 108-133 ( 1999 ) [公元24年] 金·布鲁斯 :
编程语言原理课程中的形式语义和解释。 SIGCSE公司 1999 : 331-335 【c23】 金·布鲁斯 , 约瑟夫·范德瓦特 :
语义驱动的语言设计:面向对象语言中的静态类型安全虚拟类型。 MFPS公司 1999 : 50-75 1998 [j13] 金·布鲁斯 , 本杰明·皮尔斯 :
编辑-第三次面向对象语言基础研讨会。 理论与实践。 对象系统。 4 ( 1 ) : 1 ( 1998 ) [公元22年] 金·布鲁斯 , 马丁·奥德斯基 , 菲利普·沃德勒 :
虚拟类型的静态安全替代方案。 ECOOP公司 1998 : 523-549 【c21】 金·布鲁斯 , Phokion G.Kolaitis公司 , 丹尼尔·利万特 , Moshe Y.瓦尔迪 :
小组:计算机科学课程中的逻辑。 SIGCSE公司 1998 : 376-377 1997 [公元20年] 金·布鲁斯 , 叶·彼得森 , 阿德里安·费奇 :
对于面向对象语言来说,子类型不是一个很好的“匹配”。 ECOOP公司 1997 : 104-127 [第19条] 金·布鲁斯 , 鲁卡·凯德利 , 本杰明·皮尔斯 :
比较对象编码。 节气门执行器控制系统 1997 : 415-438 【r1】 迈克尔·J·吉平 , 金·布鲁斯 :
强制性语言范式。 计算机科学与工程手册 1997 : 1983-2005 1996 [公元12年] 金·布鲁斯 :
程序设计语言中的过程。 ACM计算。 Surv公司。 28 ( 1 ) : 245-247 ( 1996 ) [公元11年] 金·布鲁斯 :
关于计算机科学教育的思考。 ACM计算。 Surv公司。 28 ( 4秒 ) : 93 ( 1996 ) 1995 [公元10年] 金·布鲁斯 , 鲁卡·凯德利 , 朱塞佩·卡斯塔尼亚 , 乔纳森·艾弗里 , 斯科特·史密斯 , 瓦列里·特里福诺夫 , 加里·利文斯 , 本杰明·皮尔斯 :
关于二进制方法。 理论与实践。 对象系统。 1 ( 三 ) : 221-242 ( 1995 ) [第18条] 金·布鲁斯 , 安吉拉·舒特 , 罗伯特·范根特 :
PolyTOIL:一种类型安全的面向对象的多态语言。 ECOOP公司 1995 : 27-51 1994 [公元9年] 金·布鲁斯 :
一种典型的面向对象编程语言:设计、静态类型和语义。 J.功能。 程序。 4 ( 2 ) : 127-206 ( 1994 ) [第17条] 金·布鲁斯 :
吸引(并保持)最优秀和最聪明的人才:为有经验的入门级学生开设的入门课程。 SIGCSE公司 1994 : 243-247 [第16条] 亨利·麦凯·沃克 , 金·布鲁斯 , 詹姆斯·布拉德利 , 汤姆·惠利 :
向本科生描述CS森林(摘要)。 SIGCSE公司 1994 : 369-370 1993 [第15条] 金·布鲁斯 , 乔纳森·克拉布特里 , 杰拉德·卡纳帕西 :
TOOPLE的操作语义:一种统计类型的面向对象编程语言。 MFPS公司 1993 : 603-626 [第14条] 金·布鲁斯 , 乔纳森·克拉布特里 , 托马斯·穆尔塔赫(Thomas P.Murtagh) , 罗伯特·范根特 , 艾琳·迪莫克 , 罗伯特穆勒 :
面向对象语言中的安全和可确定类型检查。 OOPSLA公司 1993 : 29-46 [第13条] 金·布鲁斯 :
静态类型的面向对象编程语言中的安全类型检查。 POPL公司 1993 : 285-298 1992 [j8] 金·布鲁斯 , 罗贝多·迪·科斯莫 , 朱塞佩·隆戈 :
类型的可证明同构。 数学。 结构。 计算。 科学。 2 ( 2 ) : 231-247 ( 1992 ) [第12条] 金·布鲁斯 , 约翰·米切尔 :
子类型、递归类型和高阶多态的PER模型。 POPL公司 1992 : 316-327 1991 [第11条] 金·布鲁斯 :
面向对象语言中继承的两个语义定义的等价性。 MFPS公司 1991 : 102-124 1990 [j7] 金·布鲁斯 , 阿尔伯特·梅耶 , 约翰·米切尔 :
二阶Lambda演算的语义。 Inf.计算。 85 ( 1 ) : 76-134 ( 1990 ) [j6] 金·布鲁斯 , 朱塞佩·隆戈 :
记录、继承和有界量化的适度模型。 Inf.计算。 87 ( 1/2 ) : 196-239 ( 1990 )
1980 – 1989
1988 [第10条] 金·布鲁斯 , 朱塞佩·隆戈 :
记录、继承和有界量化的适度模型。 低收入国家 1988 : 38-50 1987 【c9】 金·布鲁斯 , 彼得·韦格纳 :
子类型和继承的代数模型。 DBPL公司 1987 : 75-96 【c8】 金·布鲁斯 , 乔恩·里克 :
米兰达代数类型的语义。 MFPS公司 1987 : 455-473 1986 [j5] 金·布鲁斯 :
静态逻辑中的模型构造。 二、。 可定义的超能力。 圣母院J.正式日志。 27 ( 2 ) : 257-262 ( 1986 ) 【c7】 罗伯托·阿马迪奥 , 金·布鲁斯 , 朱塞佩·隆戈 :
二阶Lambda微积分的Finitary投影模型和高阶区域方程的解。 低收入国家 1986 : 122-130 【c6】 金·布鲁斯 , 彼得·韦格纳 :
面向对象语言中符号类型的代数模型(草案)。 OOP工作 1986 : 163-172 [c5] 金·布鲁斯 , 彼得·韦格纳 :
面向对象语言中子类型的代数模型(仅抽象)。 OOP工作 1986 : 183-184 1985 【c4】 诺曼·吉布斯 , 乔伊斯·布伦南 , 金·布鲁斯 , 艾伦·B·塔克 , 保罗·R·杨 :
文科课程和计算机科学教育(小组演讲)。 ACM年会 1985 : 111 【c3】 金·布鲁斯 , 罗伯特·D·库珀 , 斯图亚特·赫什菲尔德 , Ted Sjoerdsma公司 , 艾伦·B·塔克 , 诺曼·吉布斯 :
文理学院的计算机科学课程(小组会议)。 SIGCSE公司 1985 : 115 【c2】 金·布鲁斯 , 朱塞佩·隆戈 :
类型语言模型中的可证明同构和域方程(初版)。 STOC公司 1985 : 263-272 1984 【j4】 金·布鲁斯 , 朱塞佩·隆戈 :
关于组合代数及其扩张。 西奥。 计算。 科学。 31 : 31-40 ( 1984 ) 【c1】 金·布鲁斯 , 阿尔伯特·梅耶 :
二阶多形Lambda演算的语义。 数据类型的语义 1984 : 131-144 1980 [j3] 金·布鲁斯 :
静态逻辑中的模型构造。 第一部分强制。 J.塞姆。 日志。 45 ( 三 ) : 439-454 ( 1980 )
1970 – 1979
1979 [注2] 金·布鲁斯 , H.杰罗姆·凯斯勒 :
L(左) A类 (\芬兰)。 J.塞姆。 日志。 44 ( 1 ) : 15-28 ( 1979 ) 1978 [j1] 金·布鲁斯 :
L(Q)模型理论中的理想模型和一些非理想问题。 J.塞姆。 日志。 43 ( 2 ) : 304-321 ( 1978 )