文件大小：495 kB 17页
广义重聚焦：从混合策略到抽象机器
作者
-
部分： 体积： 第二届计算和演绎形式结构国际会议（FSCD 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算和演绎的形式结构（FSCD） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 出版日期：2017-08-30
文件
文件标识符
引用为 获取BibTex
摘要
关键词
约简语义 抽象机器 形式验证 Coq公司
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
Mads Sig Ager、Dariusz Biernacki、Olivier Danvy和Jan Midtgaard。 求值器和抽象机器之间的函数通信。 2003年8月，瑞典乌普萨拉，第五届ACM-SIGPLAN声明性编程原则与实践国际会议（PPDP'03）编辑Dale Miller，第8-19页。 ACM出版社。 
-
Małgorzata Biernacka、Dariusz Biernack和Olivier Danvy。 CPS层次结构中分隔延续的操作基础。 计算机科学中的逻辑方法，1（2:5）：1-392005年11月。
-
Małgorzata Biernacka和Olivier Danvy。 上下文相关计算和抽象机器之间的语法对应。 理论计算机科学，375（1-3）：76-1082007。
-
皮埃尔·克雷古特。 强烈减少Krivine抽象机的变体。 高阶和符号计算，20（3）：209-2302007。 1990年ACM Lisp和函数式编程会议上提出了初步版本。
-
奥利维尔·丹维（Olivier Danvy）。 编程语言的功能失效的解释器。 彼得·蒂曼（Peter Thiemann），编辑，《2008年ACM SIGPLAN函数式编程国际会议论文集》（ICFP'08），SIGPLAN通告，第43卷，第9期，不列颠哥伦比亚省维多利亚市，2008年9月。 ACM，ACM出版社。 受邀演讲。
-
奥利维尔·丹维和雅各布·约翰森。 从最外层的约简语义到抽象机器。 Gopal Gupta和Ricardo Peña，编辑，第23届基于逻辑的程序综合与转换国际研讨会，LOPSTR 2013，第91-98页。 Springer-VS，2014年。 网址： http://dx.doi.org/10.1007/978-3-319-14125-1 . -
Olivier Danvy和Lasse R.Nielsen。 重新关注约简语义。 研究报告BRICS RS-04-26，DAIMI，丹麦奥胡斯奥胡斯大学计算机科学系，2004年11月。 初步版本出现在第二届基于规则的编程国际研讨会（2001年规则）的非正式会议记录中，《理论计算机科学电子笔记》，第59.4卷。
-
马提亚斯·费莱森（Matthias Felleisen）。 λ-v-CS转换的演算：强制性高阶程序设计语言中控制和状态的句法理论。 1987年8月，印第安纳州布卢明顿印第安纳大学计算机科学系博士论文。
-
马蒂亚斯·费莱森、罗伯特·布鲁斯·芬德勒和马修·弗拉特。 PLT Redex语义工程。 麻省理工学院出版社，2009年第1版。
-
罗纳德·加西亚（Ronald Garcia）、安德鲁·卢姆斯代恩（Andrew Lumsdaine）和阿姆尔·萨布里（Amr Sabry）。 延迟计算和分隔控制。 本杰明·皮尔斯（Benjamin C.Pierce），编辑，《第三十五届ACM编程语言原理研讨会论文集》，第153-164页。 ACM出版社，2009年1月。
-
加西亚·佩雷斯和巴勃罗·诺盖拉。 关于混合（或分层）规范化器和抽象机之间的句法和功能对应。 《计算机程序设计科学》，95:176-1992014年。
-
本杰明·格雷戈里（Benjamin Grégoire）和泽维尔·勒罗伊（Xavier Leroy）。 经过编译的强缩减实现。 西蒙·佩顿·琼斯（Simon Peyton Jones），编辑，《2002年ACM SIGPLAN函数编程国际会议论文集》（ICFP'02），SIGPLAN通告，第37卷，第9期，第235-246页，宾夕法尼亚州匹兹堡，2002年9月。 ACM，ACM出版社。
-
塞雷斯·哈丁（Thérèse Hardin）、吕克·马兰吉（Luc Maranget）和布鲁诺·帕加诺（Bruno Pagano）。 lambda-sigma演算中的函数运行时系统。 函数编程杂志，8（2）：131-1721998。
-
乌尔夫·诺雷尔。 面向基于依赖类型理论的实用编程语言。 2007年9月，瑞典哥德堡SE-412 96查尔默斯理工大学计算机科学与工程系博士论文。
-
格里戈·罗什（Grigore Rošu）和特拉安·弗洛林（Traian Florinöerbénuţ）。 《K语义框架概述》，《逻辑与代数编程杂志》，79（6）：397-4342010年。 网址： http://dx.doi.org/10.1016/j.jlap.2010.03.012 . -
彼得·塞斯托夫特。 演示lambda演算约简。 托本。 戴维·施密特（David A.Schmidt）和I.哈尔·苏德伯勒（I.Hal Sudborough），编辑，《计算的本质：复杂性、分析、转换》（The Essence of Computation:Complexity，Analysis，Transformation）。 《献给尼尔·D·琼斯的论文》，载于《计算机科学讲义》第2566页，第420-435页。 施普林格出版社，2002年。
-
菲利普·西奇科夫斯基（Filip Sieczkowski）、马·戈扎塔·比尔纳克卡（Małgorzata Biernacka）和达柳斯·比尔纳基（Dariusz Biernack）。 从约简语义自动派生抽象机器：Coq中重新聚焦的通用形式化。 Juriaan Hage和Marco T.Morazán，编辑，第22届函数式语言实现和应用国际会议（IFL 2010），第6647页，《计算机科学讲义》，第72-88页，荷兰，Alphen aan den Rijn，2010年9月。 斯普林格·弗拉格。