米切尔·旺德
人员信息
附属: 美国波士顿东北大学
优化列表
2020年–今天
2020 [公元42年] 威廉·D·克林格 , 米切尔·旺德 :
卫生宏观技术。 程序。 ACM计划。 语言。 4 ( HOPL公司 ) : 80:1-80:110 ( 2020 )
2010 – 2019
2018 [公元41年] 米切尔·旺德 , 瑞安·库佩尔 , 吉安纳科普洛斯 , 安德鲁·科布 :
具有连续随机变量和递归的概率语言的上下文等价。 程序。 ACM计划。 语言。 2 ( ICFP公司 ) : 87:1-87:30 ( 2018 ) [i3] 米切尔·旺德 , Ryan Culpepper公司 , 提奥菲洛斯·吉安娜科普洛斯 , 安德鲁·科布 :
具有连续随机变量和递归的概率语言的上下文等价性。 CoRR公司 abs/1807.02809 ( 2018 ) 2017 [j40] 贾斯汀·蓬布里奥 , 克里希纳穆西神社 , 米切尔·旺德 :
通过句法糖推断范围。 程序。 ACM计划。 语言。 1 ( ICFP公司 ) : 44:1-44:28 ( 2017 ) 2016 [公元39年] 保罗·斯坦西弗 , 米切尔·旺德 :
罗密欧:一个更灵活的绑定安全编程系统。 J.功能。 程序。 26 : e13(电子13) ( 2016 ) 2014 [公元57年] 保罗·斯坦西弗 , 米切尔·旺德 :
Romeo:一个更灵活的绑定安全编程系统。 ICFP公司 2014 : 53-65 2011 [公元56年] 保罗·斯坦西弗 , 米切尔·旺德 :
解析反射语法。 LDTA公司 2011 : 10 [公元55年] 亚伦·约瑟夫·图伦 , 米切尔·旺德 :
用于优化并发对象的分离逻辑。 POPL公司 2011 : 247-258 [公元54年] 亚伦·约瑟夫·图伦 , 米切尔·旺德 :
π-微积分的资源分析。 MFPS公司 2011 : 313-334 [i2] 保罗·斯坦西弗 , 米切尔·旺德 :
解析反射语法。 CoRR公司 abs/1102.2003 ( 2011 ) [i1] 亚伦·约瑟夫·图伦 , 米切尔·旺德 :
微积分的资源分析。 CoRR公司 腹肌/1105.0966 ( 2011 ) 2010 [公元38年] 奥林·西弗斯 , 米切尔·旺德 :
自下而上的β-减少:上行链路和lambda-DAG。 芬丹。 信息学 103 ( 1-4 ) : 247-287 ( 2010 )
2000 – 2009
2009 [公元53年] 克里斯托斯·迪穆拉斯 , 米切尔·旺德 :
高阶聚合更新问题。 VMCAI公司 2009 : 44-58 2008 【b3】 丹尼尔·弗里德曼 , 米切尔·旺德 :
编程语言基础(3。 编辑)。 麻省理工学院出版社 2008 ,国际标准图书编号 978-0-262-06279-4 ,第I-XXII页,第1-410页 [公元37年] 艾瑞克·艾伦 , 马克·W·贝利 , 拉斯蒂斯拉夫·博迪克 , 金·布鲁斯 , 凯瑟琳·费舍尔 , 斯蒂芬·弗伦德 , 罗伯·哈波 , 钱德拉·克林茨 , 克里希纳穆西神社 , 詹姆斯·拉鲁斯 , 道格利 , 加里·莱文斯 , 洛丽·波洛克 , 李杰斯 , 马丁·里纳德 , 马克·谢尔顿 , Franklyn A.Turbak公司 , 米切尔·旺德 :
SIGPLAN编程语言课程研讨会:讨论摘要和建议。 ACM SIGPLAN通知 43 ( 11 ) : 6-29 ( 2008 ) [公元36年] 米切尔·旺德 , 丹尼尔·弗里德曼 :
编程语言:扩展和训练思维的基本概念。 ACM SIGPLAN通知 43 ( 11 ) : 133-135 ( 2008 ) [第52条] 迪米特里奥斯·瓦杜拉基斯 , 米切尔·旺德 :
兽人的合成跟踪语义。 协调 2008 : 331-346 [第51条] 大卫·赫尔曼 , 米切尔·旺德 :
卫生宏观理论。 员工持股计划 2008 : 48-62 2007 [j35] 米切尔·旺德 :
关于克里文机器的正确性。 高。 订单符号。 计算。 20 ( 三 ) : 231-235 ( 2007 ) 2006 [公元50年] Vasileios Koutavas公司 , 米切尔·旺德 :
非类型命令对象的相互模拟。 员工持股计划 2006 : 146-161 [公元49年] Vasileios Koutavas公司 , 米切尔·旺德 :
用于推理高阶命令式程序的小互模拟。 POPL公司 2006 : 141-152 2005 [公元34年] 菲利普·梅尼尔 , 罗伯特·布鲁斯·芬德勒 , 保罗·斯特克勒 , 米切尔·旺德 :
选择器使基于集合的分析过于困难。 高。 订单符号。 计算。 18 ( 3-4 ) : 245-269 ( 2005 ) [公元48年] 奥林·西弗斯 , 米切尔·旺德 :
自下而上的β-减少:上行链路和lambda-DAG。 员工持股计划 2005 : 217-232 2004 [公元33年] 米切尔·旺德 , 格雷戈·基泽莱斯 , 克里斯托弗·达奇恩 :
面向方面编程中通知和动态连接点的语义。 ACM事务处理。 程序。 语言系统。 26 ( 5 ) : 890-910 ( 2004 ) [公元47年] 米切尔·旺德 , Dale Vaillancourt公司 :
回溯的相关模型。 ICFP公司 2004 : 54-65 2003 [公元32年] 延斯·帕尔斯伯格 , 米切尔·旺德 :
流信息的CPS转换。 J.功能。 程序。 13 ( 5 ) : 905-923 ( 2003 ) [公元46年] 米切尔·旺德 :
理解方面:扩展抽象。 ICFP公司 2003 : 299-300 2002 [公元45年] 米切尔·旺德 , 盖伦·威廉姆森 :
一种用于小步长流动分析的模块化可扩展证明方法。 员工持股计划 2002 : 213-227 [电子1] 米切尔·旺德 , 西蒙·佩顿·琼斯 :
2002年10月4日至6日,美国宾夕法尼亚州匹兹堡,第七届ACM SIGPLAN功能编程国际会议(ICFP'02)会议记录。 ACM公司 2002 ,国际标准图书编号 1-58113-487-8 [目录] 2001 【b2】 丹尼尔·弗里德曼 , 米切尔·旺德 , 克里斯托弗·海恩斯 :
编程语言基础(2。 编辑)。 麻省理工学院出版社 2001 ,国际标准图书编号 978-0-262-06217-6 ,第I-XVIII页,1-389页 [公元31年] 米切尔·旺德 , 威廉·D·克林格 :
为破坏性数组更新优化设置约束。 J.功能。 程序。 11 ( 三 ) : 319-346 ( 2001 ) [公元44年] 米切尔·旺德 :
面向方面编程中建议和动态连接点的语义。 SAIG公司 2001 : 45-46 2000 【j30】 米切尔·旺德 :
基于分析的程序转换。 ACM SIGSOFT软件。 工程注释 25 ( 1 ) : 91-92 ( 2000 ) [公元29年] 米切尔·旺德 , 威廉·D·克林格 :
优化高阶编程语言中的内存使用:理论和实验研究。 ACM SIGSOFT软件。 工程注释 25 ( 1 ) : 92 ( 2000 )
1990 – 1999
1999 [公元28年] 米切尔·旺德 :
重温基于连续性的多处理。 高。 订单符号。 计算。 12 ( 三 ) : 283 ( 1999 ) [公元27年] 米切尔·旺德 :
基于连续性的多处理。 高。 订单符号。 计算。 12 ( 三 ) : 285-299 ( 1999 ) [公元43年] 史蒂文·甘兹 , 丹尼尔·弗里德曼 , 米切尔·旺德 :
蹦床风格。 ICFP公司 1999 : 18-27 [公元42年] 约翰·奥夫林格 , 米切尔·旺德 :
一种指定对象结构递归遍历的语言。 OOPSLA公司 1999 : 70-81 [公元41年] 米切尔·旺德 , 伊戈尔·西维罗尼 :
无用变量消除的约束系统。 POPL公司 1999 : 291-302 1998 [公元26年] 米切尔·旺德 :
费克斯普勒的理论微不足道。 LISP符号。 计算。 10 ( 三 ) : 189-199 ( 1998 ) [公元25年] 哈罗德·阿贝尔森 , R.Kent Dybvig公司 , 克里斯托弗·海恩斯 , 吉列尔莫·胡安·罗扎斯 , N.I.亚当斯四世 , 丹尼尔·弗里德曼 , 尤金·科尔贝克 , 盖伊·斯蒂尔(Guy L.Steele Jr.)。 , 大卫·H·巴特利 , 小罗伯特·H·霍尔斯特德。 , 唐·奥克斯利 , 杰拉尔德·苏斯曼 , G.布鲁克斯 , 克里斯·汉森 , 肯特·皮特曼 , 米切尔·旺德 :
关于算法语言方案的修订报告。 高。 订单符号。 计算。 11 ( 1 ) : 7-105 ( 1998 ) [公元40年] 米切尔·旺德 , 威廉·D·克林格 :
设置破坏性阵列更新优化的约束。 ICCL公司 1998 : 184-195 1997 [公元24年] 延斯·帕尔斯伯格 , 米切尔·旺德 , 帕特里克·奥基夫 :
非结构子类型的类型推断。 形式方面计算。 9 ( 1 ) : 49-67 ( 1997 ) [公元23年] 保罗·斯特克勒 , 米切尔·旺德 :
轻质闭合转换。 ACM事务处理。 程序。 语言系统。 19 ( 1 ) : 48-86 ( 1997 ) [公元39年] 米切尔·旺德 , 格雷戈里·T·沙利文 :
使用基于操作的术语模型的指称语义。 POPL公司 1997 : 386-399 1996 [c38] Jerzy Tiuryn公司 , 米切尔·旺德 :
带输入输出的无类型Lambda-Calculus。 CAAP公司 1996 : 317-329 [公元37年] 大卫·S·格莱斯顿 , 米切尔·旺德 :
并发语言的编译器正确性。 协调 1996 : 231-248 [公元36年] 乔纳森·罗西(Jonathan G.Rossie Jr.)。 , 丹尼尔·弗里德曼 , 米切尔·旺德 :
建模基于子对象的继承。 ECOOP公司 1996 : 248-274 1995 [公元22年] 约书亚·D·古特曼 , 约翰·拉姆斯代尔 , 米切尔·旺德 :
VLISP:方案的验证实现。 LISP符号。 计算。 8 ( 1-2 ) : 5-32 ( 1995 ) [公元21年] 迪诺·奥利瓦 , 约翰·拉姆斯代尔 , 米切尔·旺德 :
VLISP验证的PreScheme编译器。 LISP符号。 计算。 8 ( 1-2 ) : 111-182 ( 1995 ) [公元20年] 米切尔·旺德 , 帕特里克·奥基夫 , 延斯·帕尔斯伯格 :
非结构子类型的强归一化。 数学。 结构。 计算。 科学。 5 ( 三 ) : 419-429 ( 1995 ) [公元35年] 米切尔·旺德 :
并行语言的编译器正确性。 FPCA公司 1995 : 120-134 1994 [公元19年] 米切尔·旺德 , 王正宇 :
条件Lambda理论和程序静态属性的验证。 Inf.计算。 113 ( 2 ) : 253-277 ( 1994 ) [公元34年] 米切尔·旺德 , 保罗·斯特克勒 :
选择性和轻质闭合转换。 POPL公司 1994 : 435-445 [公元33年] 保罗·斯特克勒 , 米切尔·旺德 :
选择性增稠。 SAS公司 1994 : 162-178 1993 [公元18年] 米切尔·旺德 :
指定绑定时间分析的正确性。 J.功能。 程序。 三 ( 三 ) : 365-387 ( 1993 ) [公元32年] 米切尔·旺德 :
指定绑定时间分析的正确性。 POPL公司 1993 : 137-143 [公元31年] Jerzy Tiuryn公司 , 米切尔·旺德 :
使用递归类型和原子子类型进行类型重建。 TAPSOFT公司 1993 : 686-701 1992 【b1】 丹尼尔·弗里德曼 , 米切尔·旺德 , 克里斯托弗·海恩斯 :
编程语言基础。 麻省理工学院出版社 1992 ,国际标准图书编号 978-0-262-06145-2 第1-536页 [公元30年] 帕特里克·奥基夫 , 米切尔·旺德 :
分部类型的类型推断是可决定的。 员工持股计划 1992 : 408-417 [公元29年] 米切尔·旺德 , 迪诺·奥利瓦 :
证明存储表示的正确性。 LISP与函数编程 1992 : 151-160 1991 [公元17年] 米切尔·旺德 :
记录级联和多重继承的类型推断。 Inf.计算。 93 ( 1 ) : 1-15 ( 1991 ) [公元16年] 玛格丽特·蒙特尼奥尔 , 米切尔·旺德 :
连续语义中静态流分析的正确性。 科学。 计算。 程序。 16 ( 1 ) : 1-18 ( 1991 ) [公元28年] 米切尔·旺德 , 帕特里克·奥基夫 :
自动尺寸推断。 计算逻辑——纪念艾伦·罗宾逊的论文 1991 : 479-483 [公元27年] 米切尔·旺德 :
高阶汇编语言中过程表示的正确性。 MFPS公司 1991 : 294-311 1990 [公元15年] 米切尔·旺德 :
词汇寻址算法的简短证明。 信息处理。 莱特。 35 ( 1 ) : 1-5 ( 1990 ) [公元26年] 米切尔·旺德 , 王正宇 :
条件Lambda理论和程序静态属性的验证。 低收入国家 1990 : 321-332
1980 – 1989
1989 [公元14年] 玛格丽特·蒙特尼奥尔 , 米切尔·旺德 :
在基于组合器的编译器中合并静态分析。 Inf.计算。 82 ( 2 ) : 151-184 ( 1989 ) [公元25年] 米切尔·旺德 , 帕特里克·奥基夫 :
论强制类型推理的复杂性。 FPCA公司 1989 : 293-298 [公元24年] 米切尔·旺德 :
记录级联和多重继承的类型推断。 低收入国家 1989 : 92-97 1988 [j13] 米切尔·旺德 , 丹尼尔·弗里德曼 :
塔楼之谜揭开:对反射塔的非反射性描述。 LISP符号。 计算。 1 ( 1 ) : 11-37 ( 1988 ) 【c23】 马提亚斯·费莱森 , 米切尔·旺德 , 丹尼尔·弗里德曼 , 布鲁斯·杜巴 :
抽象连续体:处理跳远的数学语义。 LISP与函数编程 1988 : 52-62 [公元22年] 米切尔·旺德 :
勘误表:简单物体的完整类型推断。 低收入国家 1988 : 132 【c21】 玛格丽特·蒙特尼奥尔 , 米切尔·旺德 :
连续语义学中的正确流分析。 POPL公司 1988 : 204-218 1987 [公元12年] 斯特凡·科尔贝尔 , 米切尔·旺德 :
线性未来语义及其实现。 科学。 计算。 程序。 8 ( 1 ) : 87-103 ( 1987 ) [公元20年] 米切尔·旺德 :
简单对象的完整类型推断。 低收入国家 1987 : 37-44 [第19条] 尤金·科尔贝克 , 米切尔·旺德 :
宏实例:从其规范派生句法转换。 POPL公司 1987 : 77-84 1986 [公元11年] 克里斯托弗·海恩斯 , 丹尼尔·弗里德曼 , 米切尔·旺德 :
获得具有连续性的推论。 计算。 语言。 11 ( 3/4 ) : 143-153 ( 1986 ) [第18条] 米切尔·旺德 , 丹尼尔·弗里德曼 :
塔楼之谜揭开:对反射塔的非反射性描述。 LISP与函数编程 1986 : 298-307 [第17条] 米切尔·旺德 :
查找类型错误的来源。 POPL公司 1986 : 38-43 1985 [第16条] 阿尔伯特·梅耶 , 米切尔·旺德 :
类型化Lambda-Calculi中的延续语义(摘要)。 程序逻辑 1985 : 219-224 [第15条] 米切尔·旺德 :
从解释器到编译器:代表性推导。 程序作为数据对象 1985 : 306-324 [第14条] 米切尔·旺德 :
在语义中嵌入类型结构。 POPL公司 1985 : 1-6 1984 [第13条] 克里斯托弗·海恩斯 , 丹尼尔·弗里德曼 , 米切尔·旺德 :
延续和Coroutines。 LISP与函数编程 1984 : 293-298 [第12条] 丹尼尔·弗里德曼 , 米切尔·旺德 :
物化:没有形而上学的反思。 LISP与函数编程 1984 : 348-355 [第11条] 米切尔·旺德 :
Milner-Style多态的Types-as-Sets语义。 POPL公司 1984 : 158-164 [第10条] 米切尔·旺德 :
语义原型系统。 SIGPLAN编译器构建研讨会 1984 : 213-221 1983 [公元10年] 米切尔·旺德 :
基于组合器的编译器中的循环。 信息控制。 57 ( 2/3 ) : 148-164 ( 1983 ) 【c9】 米切尔·旺德 :
基于组合器的编译器中的循环。 POPL公司 1983 : 190-196 1982 [公元9年] 米切尔·旺德 :
数据抽象的规范、模型和实现。 西奥。 计算。 科学。 20 : 3-32 ( 1982 ) [j8] 米切尔·旺德 :
派生目标代码作为连续语义的表示。 ACM事务处理。 程序。 语言系统。 4 ( 三 ) : 496-517 ( 1982 ) 【c8】 米切尔·旺德 :
语义导向机器体系结构。 POPL公司 1982 : 234-241 1980 [j7] 米切尔·旺德 :
作为定义语言的一阶标识。 信息学报 14 : 337-357 ( 1980 ) [j6] 米切尔·旺德 :
基于连续性的项目转换策略。 美国临床医学杂志 27 ( 1 ) : 164-180 ( 1980 ) 【c7】 米切尔·旺德 :
基于连续性的多处理。 LISP会议 1980 : 19-28
1970 – 1979
1979 [j5] 米切尔·旺德 :
最终代数语义和数据类型扩展。 J.计算。 系统。 科学。 19 ( 1 ) : 27-44 ( 1979 ) 【j4】 米切尔·旺德 :
有序丰富范畴中的定点结构。 西奥。 计算。 科学。 8 : 13-30 ( 1979 ) 1978 [j3] 米切尔·旺德 , 丹尼尔·弗里德曼 :
使用连续和因式分解编译Lambda-Expressions。 计算。 语言。 三 ( 4 ) : 241-263 ( 1978 ) [注2] 米切尔·旺德 :
霍尔系统的一个新的不完全性结果。 美国临床医学杂志 25 ( 1 ) : 168-175 ( 1978 ) 1977 [j1] 米切尔·旺德 :
弱前提的表征。 J.计算。 系统。 科学。 15 ( 2 ) : 209-212 ( 1977 ) 1976 【c6】 丹尼尔·弗里德曼 , 大卫·S·怀斯 , 米切尔·旺德 :
通过查表进行递归编程。 SYMSACC公司 1976 : 85-89 【c5】 米切尔·旺德 :
霍尔系统的一个新的不完全性结果。 随机存取存储器 1976 : 87-91 1974 【c4】 米切尔·旺德 :
乔姆斯基等级的代数公式。 范畴理论在计算与控制中的应用 1974 : 209-213 【c3】 米切尔·旺德 :
关于数据类型的递归规范。 范畴理论在计算与控制中的应用 1974 : 214-217 1973 【c2】 米切尔·旺德 :
程序提供的一种特殊应用。 随机存取存储器 1973 : 59-66 1972 【c1】 米切尔·旺德 :
抽象递归定义的具体方法。 ICALP公司 1972 : 331-341