Chang，Bor-Yuh Evan先生（编辑） 编程语言和系统。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。 （英语） Zbl 1375.68014号 计算机科学课堂讲稿10695.商会：施普林格出版社（ISBN 978-3-319-7123-9/pbk；978-3-319-7123-6/ebook）。xix，553页。(2017). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。关于上一次研讨会，请参见[Zbl 1347.68009号].索引文章：严高高；焦，李；王淑玲；詹乃军，从延迟混合CSP合成SystemC代码，21-41[Zbl 1503.68186号]李锡盟；Mantel，Heiko；马库斯·塔什，在关于保密性的合成推理中驯服消息传递通信，45-66[Zbl 1503.68040号]塞尔达尔·埃尔巴图尔；马丁·霍夫曼；尤根·兹利内斯库，实施具有区域类型和效果的规划指南，85-104[Zbl 1503.68030号]木村、大辅；Makoto Tatsuta，包含数组的符号堆的决策过程，169-189[Zbl 1503.68045号]曹勤祥；圣地亚哥库埃拉；安德鲁·W·阿佩尔。，为分离逻辑丛林带来秩序，190-211[Zbl 1503.03034号]克里斯蒂娜·马塔奇；维克多·戈麦斯（Victor B.F.Gomes）。；多米尼克·P·穆利根。，用经典类型编程和证明，215-234[Zbl 1503.68046号]阿德里安·蓬姆莱特（Adrien Pommellet）；泰瑟·图利，通过rendez-vous通信的多线程递归程序的静态分析，235-254[Zbl 1503.68047号]托比亚斯·尼普科，经验证的根基树木，255-272[Zbl 1503.68052号]马丁·苏尔兹曼（Martin Sulzmann）；彼得·蒂曼，无上下文表达式的计算解释，387-405[Zbl 1503.68158号]塔尔莫乌斯塔卢；尼科洛·维尔特里、偏爱和容器单子体，406-425[兹比尔1503.03022]阿卡托利，贝尼亚米诺；布鲁诺·巴拉斯，模式匹配的成本微乎其微，426-447[Zbl 1503.68034号]亚历杭德罗·迪亚斯·卡洛，具有经典和概率控制的密度矩阵的lambda演算，448-467[Zbl 1503.68043号]阿齐姆·查查里；国王，安迪，紧差分界矩阵，471-490[Zbl 1503.68177号]塔卡马萨·奥库多诺；Yuki西田；小岛贤介；Kohei的Suenaga；Kido、Kengo；一郎·哈索，用于程序验证的更清晰和更简单的非线性插值，491-513[Zbl 1503.68184号]中村弘文；小岛贤介；Kohei的Suenaga；Atsushi Igarashi，非标准函数式编程语言，514-533[Zbl 1503.68031号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68新元 软件理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1347.68009号 PDF格式BibTeX公司 XML格式引用 \textit{B.-Y.E.Chang}（编辑），《编程语言和系统》。第十五届亚洲研讨会，2017年APLAS，中国苏州，2017年11月27-29日。诉讼程序。查姆：斯普林格（2017；Zbl 1375.68014） 全文： 内政部