默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

科林·S·戈登

>主页 >珀森斯

人员信息

附属： 德雷塞尔大学，美国宾夕法尼亚州费城

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/继续/戈登M23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/onward/GordonM23
科林·S·戈登,谢尔盖·马茨基维奇:
值得信赖的正式自然语言规范。向前的！ 2023:50-70
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/GordonY23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/GordonY23
科林·S·戈登,蔡文云（Chaewon Yun）:
顺序效应系统的错误定位。 SAS公司 2023:343-370
【i15】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2307-14471
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2307-14471
伊斯梅尔·库鲁,科林·S·戈登:
虚拟化内存地址的模式抽象。 CoRR公司 abs/2307.14471(2023)
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2307-15777
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2307-15777
科林·S·戈登,蔡文云（Chaewon Yun）:
序贯效应系统的错误定位（扩展版）。 CoRR公司 abs/2307.15777(2023)
[i13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2310-03885
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2310-03885
科林·S·戈登,谢尔盖·马茨基维奇:
值得信赖的正式自然语言规范。 CoRR公司 abs/2310.03885(2023)
2022
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/Gordon公司22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/Gordon22
科林·S·戈登:
自然语言中基于属性的测试。 ICSE（尼尔） 2022:111-115
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/cor/abs-2202-03616
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2202-03616
科林·S·戈登:
自然语言中基于属性的测试。 CoRR公司 abs/2202.03616(2022)
[i11]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2205-07811
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2205-07811
科林·S·戈登,谢尔盖·马茨基维奇:
证明助理中的自然语言规范。 CoRR公司 abs/2205.07811(2022)
[i10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/corr/abs-2208-11235
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2208-11235
谢尔盖·马茨基维奇,科林·S·戈登:
预处理语言模型的源代码注释。 CoRR公司 abs/2208.11235(2022)
2021
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/戈登21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/Gordon21
科林·S·戈登:
多态可迭代序列效应系统。 ACM事务处理。程序。语言系统。 43(1):4:1-4:79(2021)
2020
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/戈登19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecoop/Gordon19
科林·S·戈登:
利用静态能力和效果进行设计：使用、提及和不变量（珍珠）。 ECOOP公司 2020:10:1-10:25
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecoop/Gordon19a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecoop/Gordon19a
科林·S·戈登:
起重顺序对控制操作员的影响。 ECOOP公司 2020:23:1-23:30
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2005-11444
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2005-11444
科林·S·戈登:
使用静态功能和效果进行设计：使用、提及和不变量。 CoRR公司腹肌/2005.11444(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/agere/Gordon公司19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agere/Gordon19
科林·S·戈登:
参与者正确性的模态断言。阿盖尔@溅水 2019:11-20
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/KuruG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/KuruG19
伊斯梅尔·库鲁,科林·S·戈登:
类型的安全延迟内存回收。员工持股计划 2019:88-116
2018
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigsoft/MatskevichG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigsoft/MatskevichG18
谢尔盖·马茨基维奇,科林·S·戈登:
使用CCG从源代码生成注释。荷兰4SE@ESEC/SIGSOFT FSE公司 2018:26-29
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1808-02010
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-0201
科林·S·戈登:
多态可迭代序列效应系统。 CoRR公司 abs/1808.02010(2018)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1810-06599
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1810-06599
谢尔盖·马茨基维奇,科林·S·戈登:
使用CCG从源代码生成注释。 CoRR公司腹肌/1810.06599(2018)
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/corr/abs-1810-06600
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1810-06600
科林·S·戈登:
合成程序特定静态分析。 CoRR公司 abs/1810.06600(2018)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1811-11853
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1811-11853
伊斯梅尔·库鲁,科林·S·戈登:
类型的安全延迟内存回收。 CoRR公司 abs/1811.11853(2018)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1811-12285
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1811-12285
科林·S·戈登:
带有控制算子的顺序效应系统。 CoRR公司 abs/1811.12285(2018)
2017
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/GordonEGP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/GordonEGP17
科林·S·戈登,迈克尔·D·恩斯特,丹·格罗斯曼,马修·帕金森:
使用可靠性保证和优化类型验证无锁数据结构的不变量。 ACM事务处理。程序。语言系统。 39(三):11:1-11:54(2017)
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/戈登17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecoop/Gordon17
科林·S·戈登:
流敏多态效应的一种通用方法。 ECOOP公司 2017:13:1-13:31
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Gordon 17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Gordon17
科林·S·戈登:
流敏多晶效应的通用方法（扩展版）。 CoRR公司 abs/1705.02264(2017)
2016
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/AndreasenGCSTS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/AndreasenGCSTS16
埃斯本·安德烈森,科林·S·戈登,萨蒂什·钱德拉,马努·斯里达兰,弗兰克·蒂普,库什克森:
跟踪类型化：评估改进型系统的方法。 ECOOP公司 2016:1:1-1:26
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/0001GJSSTC16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/0001GJSSTC16
萨蒂什·钱德拉,科林·S·戈登,Jean-Baptiste珍妮,科尔·施莱辛格,马努·斯里达兰,弗兰克·蒂普,Young-Il Choi先生:
JavaScript静态编译的类型推断。 OOPSLA公司 2016:410-429
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AndreasenGCSTS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AndreasenGCSTS16
埃斯本·安德烈森,科林·S·戈登,萨蒂什·钱德拉,马努·斯里达兰,弗兰克·蒂普,库什克森:
跟踪类型：一种评估改装型系统的方法（扩展版）。 CoRR公司 abs/1605.01362(2016)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/ChandraGJSSTC16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/ChandraGJSSTC16
萨蒂什·钱德拉,科林·S·戈登,Jean-Baptiste珍妮,科尔·施莱辛格,马努·斯里达兰,弗兰克·蒂普,Young-Il Choi先生:
JavaScript静态编译的类型推断（扩展版本）。 CoRR公司 abs/1608.07261(2016)
2014
【b1】
- 看法
  - 通过handle.net进行电子版
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/美国/戈登14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/us/Gordon14
科林·S·戈登:
通过控制别名干扰验证并发程序。美国华盛顿大学，2014
2013
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/GordonDEG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/GordonDEG13
科林·S·戈登,维尔纳·迪特尔,迈克尔·D·恩斯特,丹·格罗斯曼:
Java UI：控制UI对象访问的效果。 ECOOP公司 2013:179-204
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/GordonEG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/GordonEG13
科林·S·戈登,迈克尔·D·恩斯特,丹·格罗斯曼:
可靠地保证对别名可变数据的细化类型的引用。 PLDI公司 2013:73-84
2012
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/戈登PPBD12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/GordonPPBD12
科林·S·戈登,马修·帕金森,贾里德·帕森斯,阿列克斯·布罗姆菲尔德,乔·达菲:
安全并行的唯一性和引用不变性。 OOPSLA公司 2012:21-40
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tldi/戈登EG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tldi/GordonEG12
科林·S·戈登,迈克尔·D·恩斯特,丹·格罗斯曼:
静态锁功能可消除死锁。 TLDI公司 2012:67-78

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入才能让他们活跃起来。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。