2015年第12届MPC:德国科尼格斯温特
拉尔夫·欣泽 , Janis Voigtländer公司 :
2015年6月29日至7月1日,德国科尼格斯温特,2015年MPC第12届国际会议,《程序构建的数学》。 诉讼程序。 计算机科学课堂讲稿 9129中, 施普林格 2015 ,国际标准图书编号 978-3-319-19796-8 伯恩哈德·莫勒 , 托尼·霍尔 :
探索CKA的接口模型。 1-29 斯蒂芬·范·斯塔登 :
依赖保证推理。 30-49岁 鲁道夫·伯格哈默 , 沃尔特·古特曼 :
多重关系和谓词变换的关系代数方法。 50-70 帕特里克·鲁克斯 :
偏好分解和偏好查询语言的表达。 71-92 何塞·佩德罗·马加莱斯 , 安德烈斯·洛赫 :
通用编程库中的层次结构。 93-112 丹·皮珀尼 , 布伦特·A·约基 :
受正则表达式约束的多项式函数。 113-136 布里杰什·多戈尔 , 维克托·戈麦斯 , 乔治·斯特鲁斯 :
分离逻辑的程序构造和验证工具。 137-158 帕特里克·巴尔 :
计算非确定性语言的认证编译器。 159-186年 法里斯·阿布·萨利赫 , 詹姆斯·切尼 , 杰里米·吉本斯 , 詹姆斯·麦金纳 , 佩迪塔·史蒂文斯 :
双向计算和纠缠态单子的概念。 187-214 塞巴斯蒂安·费舍尔 , 镇江湖 , 雨果·帕切科 :
镜头法则的清晰画面-功能明珠。 215-223 朱利安·萨拉曼卡 , 阿道夫芭蕾舞表演 , 马塞洛·M·邦桑格 , 恩里克·科斯梅·洛佩斯 , Jan J.M.M.Rutten先生 :
自动机和等式的正则变体。 224-237 鲁道夫·伯哈默 :
列向可扩展向量表达式和集合集的关系计算。 238-256 康诺·麦克布莱德 :
图灵-完全免费。 257-275 Pepijn Kokke公司 , 沃特·斯威斯特拉 :
Agda中的自动-使用反射进行编程验证搜索。 276-301 尼古拉斯·吴 , 汤姆·施里杰弗斯 :
自由高效代数效应处理器的融合。 302-322