佩德罗·瓦康塞洛斯；斯特芬·乔斯特；马里奥弗洛里多；凯文·哈蒙德 惰性函数语言中基于类型的共递归分配分析。 （英语） Zbl 1335.68035号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，787-811（2015）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Vasconcelos}等人，Lect。票据计算。科学。9032787--811（2015年；Zbl 1335.68035） 全文： 内政部 链接
威尔默·里奇奥蒂 将结构绑定为抽象数据类型。 （英语） Zbl 1335.68153号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032762-786（2015）。MSC公司：68问题65 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{W.Ricciotti}，莱克特。票据计算。科学。9032762--786（2015年；Zbl 1335.68153） 全文： 内政部 链接
菲利普·西奇科夫斯基；卡斯珀·斯文森；拉尔斯·比克达尔；Jean Pichon-Pharabod 虚构序列一致性的分离逻辑。 （英语） Zbl 1335.68068号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032736-761（2015）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Sieczkowski}等人，Lect。票据计算。科学。9032736--761（2015；Zbl 1335.68068） 全文： 内政部 链接
杜鹃花拉德；朱尔斯·维拉德；菲利普·加德纳 ColoSL：并发局部主观逻辑。 （英语） Zbl 1335.68064号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，710-735（2015）。MSC公司：68号30 03B70号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.Raad}等人，Lect。票据计算。科学。9032、710--735（2015；Zbl 1335.68064） 全文： 内政部 链接
加布里埃尔·谢勒；雷米，迪迪埃 在荒谬面前完全还原。 （英语） Zbl 1335.68065号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032685-709（2015）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Scherer}和\textit{D.Rémy}，莱克特。票据计算。科学。9032、685--709（2015；Zbl 1335.68065） 全文： 内政部
克里斯蒂娜·大卫；丹尼尔·克罗宁；马特·刘易斯 关于堆操作程序的安全性和终止的命题推理。 （英语） Zbl 1335.68051号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032661-684（2015）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.David}等人，Lect。票据计算。科学。9032661--684（2015年；Zbl 1335.68051） 全文： 内政部 arXiv公司
奥斯州阿尔巴古蒂；乔什·伯丁；拜伦·库克；扎卡里·金凯德 空间插值。 （英语） Zbl 1335.68040号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。《计算机科学讲义》9032，634-660（2015）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Albargouthi}等人，Lect。票据计算。科学。90322634-660（2015年；兹比尔1335.68040） 全文： 内政部 arXiv公司
大雄县Terauchi；不，Hiroshi 松弛分层：一种实用的完全谓词求精的新方法。 （英语） Zbl 1335.68072号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，610-633（2015）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Terauchi}和\textit{H.Unno}，莱克特。票据计算。科学。9032610-633（2015年；Zbl 1335.68072） 全文： 内政部 链接
阿列克谢·戈茨曼；杨红seok 复合复制数据类型。 （英语） Zbl 1335.68054号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032585-609（2015）。MSC公司：68号30 第68季度55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Gotsman}和\textit{H.Yang}，Lect。票据计算。科学。9032585--609（2015年；Zbl 1335.68054） 全文： 内政部
萨姆·林德利；J.Garrett莫里斯 作为会话的命题的语义。 （英语） Zbl 1335.68060号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，560-584（2015）。MSC公司：68号30 68甲18 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Lindley}和\textit{J.G.Morris}，莱克特。票据计算。科学。9032560--584（2015；Zbl 1335.68060） 全文： 内政部
迈克尔·埃米；皮埃尔·甘蒂；鲁帕克·马朱姆达尔；费尔南多·罗莎·维拉尔多 使用基于事件的同步分析异步程序。 （英语） Zbl 1335.68053号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032535-559（2015）。MSC公司：68号30 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Emmi}等人，Lect。票据计算。科学。9032535--559（2015年；Zbl 1335.68053） 全文： 内政部
斯特凡诺·卡尔扎瓦拉；米歇尔·布格列西；西尔维亚·克拉法；恩里科·斯特芬隆戈 对浏览器扩展的权限提升攻击进行细粒度检测。 （英语） Zbl 1335.68047号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，510-534（2015）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Calzavara}等人，莱克特。票据计算。科学。9032510-534（2015；Zbl 1335.68047） 全文： 内政部 链接
斯特凡·舒尔泽·弗里林豪斯；迈克尔·彼特；赫尔穆特·塞德尔 过程间双变量Herbrand等式。 （英语） Zbl 1335.68066号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，457-482（2015）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Schulze Frielinghaus}等人，Lect。票据计算。科学。9032457--482（2015年；Zbl 1335.68066） 全文： 内政部 arXiv公司
杰里米·西克。；Michael M.维图塞克。；马蒂奥·奇米尼；萨姆·托宾·霍施塔特；罗纳德·加西亚 高效渐进式键入的单调引用。 （英语） Zbl 1335.68069号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，432-456（2015）。MSC公司：68号30 68甲18 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Siek}等人，Lect。票据计算。科学。9032、432--456（2015；Zbl 1335.68069） 全文： 内政部
埃兹吉·切克；迪帕克·加格；阿卡尔、乌穆特 增量计算复杂性的优化类型。 （英语） Zbl 1335.68030号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，406-431（2015）。MSC公司：68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.乔切克}等人，莱克特。票据计算。科学。9032406--431（2015年；Zbl 1335.68030） 全文： 内政部
贾斯敏·克里斯蒂安·布兰切特；安德烈·波佩斯库；德米特里·特拉泰尔 见证（co）数据类型。 （英语） Zbl 1335.68224号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，359-382（2015）。MSC公司：68吨15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人，Lect。票据计算。科学。9032359--382（2015；Zbl 1335.68224） 全文： 内政部 哈尔
伊利亚·谢尔盖；亚历山大·纳涅夫斯基；安妮迪亚·班纳吉 用历史和主观性指定和验证并发算法。 （英语） Zbl 1335.68067号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，333-358（2015）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Sergey}等人，Lect。票据计算。科学。9032、333--358（2015；Zbl 1335.68067） 全文： 内政部 arXiv公司
朱塞佩·卡斯塔尼亚；我是宣城；Nguyen，Kim（金·阮）；维罗尼克·本扎肯 XQuery 3.0的核心演算。结合导航和模式匹配方法。 （英语） Zbl 1335.68026号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032232-256（2015）。MSC公司：68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Castagna}等人，Lect。票据计算。科学。9032，232--256（2015；Zbl 1335.68026） 全文： 内政部
皮埃尔·内龙；安德鲁·托尔马赫；埃尔科·维瑟；圭多·瓦奇斯莫斯 名称解析理论。 （英语） Zbl 1335.68062号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032205-231（2015）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Neron}等人，Lect。票据计算。科学。9032205-231（2015；Zbl 1335.68062） 全文： 内政部
克里斯蒂娜·大卫；丹尼尔·克罗宁；马特·刘易斯 位向量程序的无限制终止和非终止参数。 （英语） Zbl 1335.68050号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032183-204（2015）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.David}等人，Lect。票据计算。科学。9032，183--204（2015；Zbl 1335.68050） 全文： 内政部 arXiv公司
威廉·彭宁克；巴特·雅各布斯；弗兰克·皮森斯 程序输入/输出行为的声音、模块和合成验证。 （英语） 兹比尔1335.68063 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，158-182（2015）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.Penninckx}等人，Lect。票据计算。科学。9032、158--182（2015年；Zbl 1335.68063） 全文： 内政部 链接
简·霍夫曼；邵，钟 并行程序的自动静态成本分析。 （英语） Zbl 1335.68056号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，132-157（2015）。MSC公司：68号30 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoffmann}和\textit{Z.Shao}，Lect。票据计算。科学。9032、132--157（2015年；Zbl 1335.68056） 全文： 内政部
乔恩，帕沃；托马斯·亨辛格（Thomas A.Henzinger）。；劳拉·科瓦奇；阿琼·拉德哈克利什纳；雅各布兹维奇梅尔 用于最坏执行时间分析的段抽象。 （英语） Zbl 1335.68049号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，105-131（2015）。MSC公司：68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.乔恩}等人，Lect。票据计算。科学。9032、105--131（2015年；Zbl 1335.68049） 全文： 内政部
曼努埃尔·埃贝尔；约翰·Hölzl；托比亚斯·尼普科 概率密度函数的验证编译器。 （英语） Zbl 1335.68037号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，80-104（2015）。MSC公司：68N20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Eberl}等人，莱克特。票据计算。科学。9032、80--104（2015年；Zbl 1335.68037） 全文： 内政部 arXiv公司
尼尔·多伦多；杰·麦卡锡；戴维·范霍恩 反向运行概率程序。 （英语） Zbl 1335.68029号 Vitek，Jan（编辑），《编程语言与系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。计算机科学课堂讲稿9032，53-79（2015）。MSC公司：68甲15 第68季度55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Toronto}等人，Lect。票据计算。科学。9032、53--79（2015年；Zbl 1335.68029） 全文： 内政部 arXiv公司