马丁·苏尔兹曼
人员信息
优化列表
2020年-今天
2023 [公元12年] 马丁·苏尔兹曼 , 斯特凡·韦尔 :
Featherweight Generic Go中方法重载和结构子类型的类型定向字典传递翻译。 J.功能。 程序。 33 ( 2023 ) [i22] 马丁·苏尔兹曼 , 彼得·蒂曼 :
跨线程临界段和有效的动态竞争预测方法。 CoRR公司 abs/2307.09855 ( 2023 ) 2022 [公元11年] 卡洛斯·卡马诺 , 马丁·苏尔兹曼 :
第22届巴西编程语言研讨会(SBLP 2018)上提交的论文修订版和扩展版专刊。 科学。 计算。 程序。 218 : 102793 ( 2022 ) [公元55年] 马丁·苏尔兹曼 , 斯特凡·韦尔 :
面向类型的Featherweight Go翻译方案的语义保持。 MPC公司 2022 : 178-197 【i21】 马丁·苏尔兹曼 , 斯特凡·韦尔 :
面向类型的Featherweight Go翻译方案的语义保持。 CoRR公司 abs/2206.09980 ( 2022 ) [i20] 马丁·苏尔兹曼 , 斯特凡·韦尔 :
Featherweight Generic Go的直接打字词典翻译。 CoRR公司 abs/2209.08511 ( 2022 ) 2021 [公元10年] 约翰·加拉赫 , 马丁·苏尔兹曼 :
前言。 科学。 计算。 程序。 202 : 102577 ( 2021 ) [公元54年] 马丁·苏尔兹曼 , 斯特凡·韦尔 :
Featherweight Go的字典翻译。 阿普拉斯 2021 : 102-120 [i19] 马丁·苏尔兹曼 , 斯特凡·韦尔 :
Featherweight Go的字典翻译。 CoRR公司 abs/2106.14586 ( 2021 ) 2020 [公元53年] 马丁·苏尔兹曼 , 凯·斯塔特米勒 :
高效、接近完整且通常良好的混合动态数据竞争预测。 MPLR公司 2020 : 30-51 [i18] 马丁·苏尔兹曼 , 凯·斯塔特米勒 :
高效、近乎完整且经常发声的混合动态数据竞赛预测(扩展版)。 CoRR公司 abs/2004.06969 ( 2020 ) [i17] 丹尼尔·克劳斯 , 杰里米亚斯·罗勒 , 马丁·苏尔兹曼 :
通过抽象对GUI进行可视化测试。 CoRR公司 abs/2007.10419 ( 2020 )
2010 – 2019
2019 [公元9年] 马丁·苏尔兹曼 , 彼得·蒂曼 :
正则洗牌表达式的导数和偏导数。 J.计算。 系统。 科学。 104 : 323-341 ( 2019 ) [第52条] 马丁·苏尔兹曼 , 肯尼·卓明路 :
重温正则方程的求解。 ICTAC公司 2019 : 392-409 [第51条] 塔米诺·道斯 , 马丁·苏尔兹曼 :
Haskell和Scala的未来和承诺。 政治公众人物@POPL 2019 : 68-74 [公元50年] 马丁·苏尔兹曼 , 凯·斯塔特米勒 :
预测特定计划的所有数据竞争对。 MPLR公司 2019 : 72-84 [i16] 马丁·苏尔兹曼 , 凯·斯塔特米勒 :
不准确痕迹的数据竞赛预测。 CoRR公司 abs/1905.10855 ( 2019 ) 【i15】 马丁·苏尔兹曼 , 肯尼·卓明路 :
重温正则方程的求解(扩展版)。 CoRR公司 abs/1908.03710 ( 2019 ) [第14条] 马丁·苏尔兹曼 , 凯·斯塔特米勒 :
预测特定时间表的所有数据竞争对(扩展版本)。 CoRR公司 abs/1909.03289 ( 2019 ) 2018 [公元49年] 马丁·苏尔兹曼 , 彼得·蒂曼 :
LTL语义表和通过线性因子的交替ω-自动机。 ICTAC公司 2018 : 11-34 [公元48年] 马丁·苏尔兹曼 , 凯·斯塔德穆勒 :
基于向量时钟的消息传递Go程序的两阶段动态分析。 PPDP(PPDP) 2018 : 22:1-22:13 [电子2] 约翰·加拉赫 , 马丁·苏尔兹曼 :
功能和逻辑编程——第14届国际研讨会,2018年5月9日至11日,日本名古屋,FLOPS 2018,会议记录。 计算机科学讲义 10818, 施普林格 2018 ,国际标准图书编号 978-3-319-90685-0 [目录] [电子1] 卡洛斯·卡马诺 , 马丁·苏尔兹曼 :
2018年第二十二届巴西编程语言研讨会会议记录,2018年9月20日至21日,巴西圣卡洛斯。 ACM公司 2018 ,国际标准图书编号 978-1-4503-6480-5 [目录] [i13] 马丁·苏尔兹曼 , 凯·斯塔特米勒 :
基于矢量时钟的消息传递Go程序的两相动态分析。 CoRR公司 abs/1807.03585 ( 2018 ) 2017 [j8] 马丁·苏尔兹曼 , 肯尼·卓明路 :
基于导数的正则表达式歧义诊断。 发现的国际期刊。 计算。 科学。 28 ( 5 ) : 543-562 ( 2017 ) [公元47年] 马丁·苏尔兹曼 , 彼得·蒂曼 :
上下文无关表达式的计算解释。 阿普拉斯 2017 : 387-405 [公元46年] 马丁·苏尔兹曼 , 凯·斯塔特米勒 :
消息传递Go程序的基于跟踪的运行时分析。 海法核查会议 2017 : 83-98 [i12] 马丁·苏尔兹曼 , 彼得·蒂曼 :
上下文无关表达式的计算解释。 CoRR公司 abs/1708.07366 ( 2017 ) [i11] 马丁·苏尔兹曼 , 凯·斯塔特米勒 :
消息传递Go程序的基于跟踪的运行时分析。 CoRR公司 abs/1709.01588 ( 2017 ) [i10] 马丁·苏尔兹曼 , 彼得·蒂曼 :
LTL语义表和通过线性因子的交替ω-自动机。 CoRR公司 abs/1710.06678 ( 2017 ) 2016 [公元45年] 凯·斯塔特米勒 , 马丁·苏尔兹曼 , 彼得·蒂曼 :
基于静态跟踪的同步Mini-Go死锁分析。 阿普拉斯 2016 : 116-136 [公元44年] 马丁·苏尔兹曼 , 彼得·蒂曼 :
可分叉正则表达式。 拉丁美洲旅游协会 2016 : 194-206 [公元43年] 马丁·苏尔兹曼 , 肯尼·卓明路 :
基于导数的正则表达式歧义诊断。 CIAA公司 2016 : 260-272 [第九章] 马丁·苏尔兹曼 , 肯尼·卓明路 :
基于导数的正则表达式歧义诊断。 CoRR公司 abs/1604.06644 ( 2016 ) [i8] 凯·斯塔特米勒 , 马丁·苏尔兹曼 , 彼得·蒂曼 :
基于静态跟踪的同步Mini-Go死锁分析。 CoRR公司 abs/1608.08330 ( 2016 ) 2015 [公元42年] 马丁·苏尔兹曼 , 彼得·蒂曼 :
正则乱序表达式的导数。 拉丁美洲旅游协会 2015 : 275-286 [公元41年] 彼得·蒂曼 , 马丁·苏尔兹曼 :
通过偏导数从\omega-正则表达式到Büchi自动机。 拉丁美洲旅游协会 2015 : 287-298 [i7] 马丁·苏尔兹曼 , 彼得·蒂曼 :
可分叉正则表达式。 CoRR公司 abs/1510.07293 ( 2015 ) 2014 [j7] 格雷戈里·杜克 , 雷米·海默尔 , 马丁·苏尔兹曼 :
基于CHR的终止、融合和一致类型推断。 理论与实践。 日志。 程序。 14 ( 4-5 ) : 619-632 ( 2014 ) [公元40年] 马丁·苏尔兹曼 , 皮皮伊恩·范·斯蒂恩霍温 :
一种基于扩展正则表达式子匹配的灵活高效的ML Lexer工具。 科科斯群岛 2014 : 174-191 [公元39年] 马丁·苏尔兹曼 , 肯尼·卓明路 :
POSIX正则表达式与导数的解析。 FLOPS(浮动) 2014 : 203-220 [i6] 格雷戈里·杜克 , 雷米·海默尔 , 马丁·苏尔兹曼 :
基于CHR的终止、融合和一致类型推断。 CoRR公司 abs/1405.3393 ( 2014 ) 2013 [公元38年] 马丁·苏尔兹曼 , Jürgen Nicklisch-Franken先生 , 阿克塞尔·泽切纳 :
EDSL抽象的可追溯性和正确性证据。 政治公众人物 2013 : 71-74 2012 [公元37年] 斯特凡·米利乌斯 , Henning Günther公司 , 简·佩莱斯卡 , 奥利弗·默勒 , 赫尔热·洛丁 , 马丁·苏尔兹曼 , 拉明·赫达亚蒂 , 阿克塞尔·泽切纳 :
同步组件系统的正式验证框架。 MBEES公司 2012 : 145-154 [c36] 马丁·苏尔兹曼 , 肯尼·卓明路 :
使用偏导数的正则表达式子匹配。 PPDP(PPDP) 2012 : 79-90 [公元35年] 马丁·苏尔兹曼 , 阿克塞尔·泽切纳 :
模型检查DSL生成的C源代码。 自旋蛋白 2012 : 241-247 [公元34年] 马丁·苏尔兹曼 , 阿克塞尔·泽什内尔 :
线性时间逻辑的构造有限迹分析。 攻丝@工具 2012 : 132-148 2011 [j6] 迪米特里厄斯病毒性肠炎 , 西蒙·佩顿·琼斯 , 汤姆·施里弗斯 , 马丁·苏尔兹曼 :
OutsideIn(X)具有局部假设的模块化类型推断。 J.功能。 程序。 21 ( 4-5 ) : 333-412 ( 2011 ) [j5] Edmund S.L.Lam先生 , 马丁·苏尔兹曼 :
基于目标的约束处理规则的并发执行。 理论与实践。 日志。 程序。 11 ( 6 ) : 841-879 ( 2011 ) 2010 [c33] 彼得·蒂曼 , 马丁·苏尔兹曼 :
用于生成绑定时间多态程序的无标记组合器。 FLOPS(浮动) 2010 : 87-102 [i5] Edmund S.L.Lam , 马丁·苏尔兹曼 :
基于目标的约束处理规则的并发执行。 CoRR公司 abs/1006.3039 ( 2010 )
2000 – 2009
2009 [公元32年] 汤姆·施里弗斯 , 西蒙·佩顿·琼斯 , 马丁·苏尔兹曼 , 迪米特里厄斯病毒性肠炎 :
GADT的完整和可判定类型推断。 ICFP公司 2009 : 341-352 [公元31年] 马丁·苏尔兹曼 , Edmund S.L.Lam , 西蒙·马洛 :
比较Haskell中并发链接列表实现的性能。 DAMP公司 2009 : 37-46 2008 【j4】 马丁·苏尔兹曼 , 彼得·J·斯塔基 :
HM(X)型推理是CLP(X)求解。 J.功能。 程序。 18 ( 2 ) : 251-283 ( 2008 ) [公元30年] 马丁·苏尔兹曼 , Edmund S.L.Lam , 彼得·范·维尔特 :
具有多头消息接收模式的参与者。 协调 2008 : 315-330 [公元29年] 汤姆·施里杰弗斯 , 西蒙·佩顿·琼斯 , 曼努埃尔·M·T·查克拉瓦蒂 , 马丁·苏尔兹曼 :
使用开放式函数进行类型检查。 ICFP公司 2008 : 51-62 [公元28年] 汤姆·施里杰弗斯 , 马丁·苏尔兹曼 :
约束处理规则中的事务。 ICLP公司 2008 : 516-530 [公元27年] 马丁·苏尔兹曼 , Edmund S.L.Lam :
并行执行多集约束重写规则。 PPDP(PPDP) 2008 : 20-31 [公元26年] 汤姆·施里杰弗斯 , 马丁·苏尔兹曼 :
功能依赖的汇流。 函数式编程趋势 2008 : 49-64 2007 [j3] 马丁·苏尔兹曼 , 格雷戈里·杜克 , 西蒙·佩顿·琼斯 , 彼得·J·斯塔基 :
通过约束处理规则了解函数依赖性。 J.功能。 程序。 17 ( 1 ) : 83-129 ( 2007 ) [公元25年] 马丁·苏尔兹曼 , 孟旺(Meng Wang) :
使用类型类进行面向方面的编程。 小马驹 2007 : 65-74 [公元24年] 格雷戈里·杜克 , 彼得·J·斯塔基 , 马丁·苏尔兹曼 :
约束处理规则的可观测汇流。 ICLP公司 2007 : 224-239 【c23】 马丁·苏尔兹曼 , 肯尼·卓明路 :
XHaskell-向Haskell添加正则表达式类型。 国际单项体育联合会 2007 : 75-92 [公元22年] Edmund S.L.Lam , 马丁·苏尔兹曼 :
使用软件事务内存在Haskell中实现并发约束处理规则。 DAMP公司 2007 : 19-24 【c21】 马丁·苏尔兹曼 , 曼努埃尔·查克拉瓦蒂 , 西蒙·佩顿·琼斯 , 凯文·唐纳利 :
具有类型相等强制的系统F。 TLDI公司 2007 : 53-66 2006 [公元20年] 彼得·J·斯塔基 , 马丁·苏尔兹曼 , 杰里米·瓦兹尼 :
通过约束推理进行类型处理。 阿普拉斯 2006 : 1-25 [第19条] 马丁·苏尔兹曼 , 汤姆·施里杰弗斯 , 彼得·J·斯塔基 :
GHC风格多参数类型类的主体类型推断。 阿普拉斯 2006 : 26-43 [第18条] 马丁·苏尔兹曼 , 杰里米·瓦兹尼 , 彼得·J·斯塔基 :
扩展代数数据类型的框架。 FLOPS(浮动) 2006 : 47-64 [第17条] 马丁·苏尔兹曼 , 孟旺(Meng Wang) :
具有可扩展超类的模块化泛型编程。 ICFP-WGP公司 2006 : 55-65 [第16条] 马丁·苏尔兹曼 , 肯尼·卓明路 :
X哈斯克尔。 计划-X 2006 : 92 [第15条] 马丁·苏尔兹曼 :
从类型类证明中提取程序。 PPDP(PPDP) 2006 : 97-108 [第14条] 马丁·苏尔兹曼 , Razvan Voicu公司 :
通过表达式类型进行基于语言的程序验证。 IJCAR的PLPV 2006 : 129-147 2005 [注2] 彼得·J·斯塔基 , 马丁·苏尔兹曼 :
超载理论。 ACM事务处理。 程序。 语言系统。 27 ( 6 ) : 1216-1269 ( 2005 ) [第13条] 马丁·苏尔兹曼 , 肯尼·卓明路 :
XDouce在ML中的一种类型安全嵌入。 毫升 2005 : 239-264 [i4] 彼得·J·斯塔基 , 马丁·苏尔兹曼 , 杰里米·瓦兹尼 :
用于检查注释的改进推理。 CoRR公司 abs/cs/0507036 ( 2005 ) [i3] 彼得·J·斯塔基 , 马丁·苏尔兹曼 :
保护递归数据类型的类型推断。 CoRR公司 abs/cs/0507037 ( 2005 ) 2004 [第12条] 肯尼·卓明路 , 马丁·苏尔兹曼 :
正则表达式类型之间的子类型的实现。 阿普拉斯 2004 : 57-73 [第11条] 格雷戈里·J·鸭子 , 西蒙·佩顿·琼斯 , 彼得·J·斯塔基 , 马丁·苏尔兹曼 :
函数依赖的可靠和可判定类型推断。 员工持股计划 2004 : 49-63 [第10条] 彼得·J·斯塔基 , 马丁·苏尔兹曼 , 杰里米·瓦兹尼 :
改进类型错误诊断。 哈斯克尔 2004 : 80-91 2003 【c9】 金·马里奥特 , 彼得·J·斯塔基 , 马丁·苏尔兹曼 :
资源使用验证。 阿普拉斯 2003 : 212-229 【c8】 彼得·J·斯塔基 , 马丁·苏尔兹曼 , 杰里米·瓦兹尼 :
Haskell中的交互式调试。 哈斯克尔 2003 : 72-83 [i2] 彼得·J·斯塔基 , 马丁·苏尔兹曼 , 杰里米·瓦兹尼 :
变色龙类型调试器(工具演示)。 CoRR公司 反恐精英。 PL/0311023 ( 2003 ) 2002 【c7】 马丁·苏尔兹曼 :
变色龙系统概述。 阿普拉斯 2002 : 16-30 【c6】 凯文·葛林 , 彼得·J·斯塔基 , 马丁·苏尔兹曼 , 哈拉尔德·森德加德 :
非限定语言的异常分析。 ICFP公司 2002 : 98-109 【c5】 彼得·J·斯塔基 , 马丁·苏尔兹曼 :
超载理论。 ICFP公司 2002 : 167-178 2001 【c4】 马丁·苏尔兹曼 :
Hindley/Millner风格系统的通用类型推理框架。 FLOPS(浮动) 2001 : 248-263 【c3】 凯文·葛林 , 彼得·J·斯塔基 , 马丁·苏尔兹曼 , 哈拉尔德·森德加德 :
绑定时间分析的布尔约束。 帕多 2001 : 39-62 【c2】 凯文·葛林 , 彼得·J·斯塔基 , 马丁·苏尔兹曼 :
HORN约束下的有效严格性分析。 SAS公司 2001 : 73-92 2000 [i1] 凯文·葛林 , 马丁·苏尔兹曼 , 彼得·J·斯塔基 :
类型类和约束处理规则。 CoRR公司 反恐精英。 PL/0006034 ( 2000 )
1990 – 1999
1999 [j1] 马丁·奥德斯基 , 马丁·苏尔兹曼 , 马丁·韦尔 :
具有约束类型的类型推断。 理论与实践。 对象系统。 5 ( 1 ) : 35-55 ( 1999 ) 1996 【c1】 伯恩哈德·贝克特 , 雷内·哈内尔 , 彼得·厄尔 , 马丁·苏尔兹曼 :
基于Tableau的定理证明程序 三 吨 A类 P 4.0版。 CADE公司 1996 : 303-307