冯新余（编辑）；松武公园（编辑） 编程语言和系统。2015年11月30日至12月2日，第13届亚洲研讨会，APLAS，韩国浦项。诉讼程序。 （英语） Zbl 1326.68018号 计算机科学课堂讲稿9458.查姆：施普林格（ISBN 978-3-319-26528-5/pbk；978-3-3169-26529-2/电子书）。xix，506页。(2015). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。关于上一次研讨会，请参见[Zbl 1327.68021号].索引文章：托马斯·陶伯；毕、宣；施志远；张维新；李，黄；张振瑞；布鲁诺·C·D·S·奥利维拉。，JVM中具有命令式功能对象的内存高效尾部调用，11-28[Zbl 1329.68072号]亚得里亚海的拉穆索；马可·帕特里格纳尼；克拉克、戴夫，用于ML模块的安全编译器，29-48[Zbl 1329.68071号]Makoto Tatsuta；大辅木村，带有一元归纳定义和隐式存在的分离逻辑，69-89[Zbl 1329.03070号]克里斯托夫·马提亚（Christoph Matheja）；克里斯蒂娜·詹森（Christina Jansen）；诺尔，托马斯，树状文法和分离逻辑，90-108[Zbl 1329.68154号]托马斯·杜季亚克，随机资源软件路径敏感静态分析，111-126[Zbl 1329.68075号]阿萨勒阿吉；皮埃尔·洛伊奇·加洛什；亚历克西斯·威利，二次分区。分区法到二次算术的扩展，127-145[Zbl 1329.68073号]刘江超；对手，泽维尔，可选数值的抽象，146-166[Zbl 1329.68078号]Gian Ntzik；佩德罗·达罗查·平托；菲利普·加德纳，容错资源推理，169-188[Zbl 1329.68080号]芝山、芋头；上田宗一郎；Atsushi Igarashi，推卸责任。带分隔控制的过失演算，189-207年[Zbl 1329.68081号]马可·塞韦托；埃琳娜·祖卡，命令式纯微积分中的混叠控制，208-228[Zbl 1329.68082号]阿卡托利，贝尼亚米诺；巴勃罗·巴伦鲍姆；达米亚诺·马扎，一个强大的酿酒厂，231-250[Zbl 1329.68061号]乌尔里希·舍普，通过类型化闭包转换从按值调用到交互，251-270[兹比尔1329.68056]吉勒姆·贾伯（Guilhem Jaber）；尼古拉斯·塔巴雷奥Kripke开放互模拟。游戏语义和操作技术的结合，271-291[Zbl 1329.68077号]松本裕马；小林，直纪；不，Hiroshi，基于自动抽象的高阶树处理程序自动验证，295-312[Zbl 1329.68065号]卡瓦塔、萨达基；川崎朝田；直纪小林，检查二阶有限PCF可定义性的决策算法，313-331[Zbl 1329.68064号]王超；吕毅；刘高刚；吴鹏，拟线性不可判定，369-386[Zbl 1329.68187号]艾曼纽尔·海因里；罗曼·佩乔，多项式时间中的对象，387-404[Zbl 1329.68069号]霍尔格·博克·阿克塞尔森；横山，铁雄，可逆比较排序的编程技术，407-426[Zbl 1329.68090号]井上裕久；Atsushi Igarashi，用于图层子类型和动态激活的一级图层的声音类型系统，445-462[Zbl 1329.68070号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68新元 软件理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1327.68021号 PDF格式BibTeX公司 XML格式引用 \textit{X.Feng（编辑）和\textit{S.Park（编辑），编程语言和系统。第十三届亚洲研讨会，2015年APLAS，韩国浦项，2015年11月30日-12月2日。诉讼程序。查姆：斯普林格（2015；Zbl 1326.68018） 全文： 内政部