×

菲亚特:在证明助手中对抽象数据类型的演绎合成。 (英语) Zbl 1346.68175号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录,2015年1月12日至18日,印度孟买,POPL’15。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3300-9)。689-700 (2015).

MSC公司:

68吨15 定理证明(演绎、解析等)(MSC2010)
68甲18 函数编程和lambda演算
第68季度第60季度 规范和验证(程序逻辑、模型检查等)
68问题65 抽象数据类型;代数规范
PDF格式BibTeX公司 XML格式引用
全文: 内政部