特拉华州,本杰明;Pit-Claudel,Clément公司;杰森·格罗斯;亚当·奇利帕拉 菲亚特:在证明助手中对抽象数据类型的演绎合成。 (英语) Zbl 1346.68175号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录,2015年1月12日至18日,印度孟买,POPL’15。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3300-9)。689-700 (2015). 引用于11文件 MSC公司: 68吨15 定理证明(演绎、解析等)(MSC2010) 68甲18 函数编程和lambda演算 第68季度第60季度 规范和验证(程序逻辑、模型检查等) 68问题65 抽象数据类型;代数规范 关键词:演绎综合;抽象数据类型的机械化推导 软件:菲亚特;DTRE公司;OCaml公司;孩子;Coq公司 PDF格式BibTeX公司 XML格式引用 \textit{B.Delaware}等人,《第42届ACM SIGPLAN-SIGACT编程语言原则研讨会论文集》,POPL’15,印度孟买,2015年1月12-18日。纽约州纽约市:计算机协会(ACM)。689--700(2015年;Zbl 1346.68175) 全文: 内政部