引用人
Fellner A和Woltzenlogel古B (2019). 贪婪的鹅卵石可以压缩空间, 国际技术转让软件工具杂志 , 21 :1 , (71-86), 在线发布日期:2019-02-01 . Chaudhuri K、Manighetti M和Miller D第八届ACM SIGPLAN认证程序和证明国际会议论文集的证明理论方法,(78-90) Bartha S和Cheney J:面向程序设计语言语义的元解释学习——归纳逻辑程序设计,(16-25) Chaudhuri K关于(同时)替代的两级逻辑观点第七届ACM SIGPLAN认证程序和证明国际会议论文集,(280-292) Nadathur G和Wang Y在第20届声明式编程原理与实践国际研讨会的Abella证明助理会议记录中的图解多态性,(1-13) Cimini M Languages as the一流公民(愿景论文)第十一届ACM SIGPLAN软件语言工程国际会议论文集,(65-69) Ringer T、Yazdani N、Leo J和Grossman D调整证明自动化以适应证明第七届ACM SIGPLAN认证程序和证明国际会议论文集,(115-129) Stampoulis A和Chlipala A (2018). 使用高阶逻辑编程原型化函数语言:学习λProlog/Makam方法的函数明珠, 美国计算机学会程序设计语言会议录 , 2 :ICFP , (1-30), 在线发布日期:2018年7月30日 . Chihani Z、Miller D和Renaud F (2017). 证据的语义框架, 自动推理杂志 , 59 :3 , (287-330), 在线发布日期:2017年10月1日 . 米勒D (2017). 校对和逻辑编程, 计算的形式方面 , 29 :3 , (383-399), 在线发布日期:2017年5月1日 . Cimini M和Siek J渐进器:生成渐进型系统的方法和算法第43届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集,(443-455) Cimini M和Siek J (2016). 渐变器:生成渐变型系统的方法和算法, ACM SIGPLAN通知 , 51 :1 , (443-455), 在线发布日期:2016年4月8日 . Battell C和Felty A:遗传Harrop公式的逻辑作为第十一届逻辑框架和元语言:理论与实践研讨会混合会议记录的规范逻辑,(1-10) Charalambidis A、Rondogianis P和Troumpoukis A高阶逻辑编程第18届声明式编程原理与实践国际研讨会论文集,(24-37) Chihani Z和Miller D (2016). 平等推理证明, 理论计算机科学电子笔记 , 323 :C , (93-108), 在线发布日期:2016年7月11日 . Wang Y和Nadathur G函数程序验证转换的高阶抽象语法方法第25届欧洲程序设计语言与系统研讨会论文集-第9632卷,(752-779) Chaudhuri K、Cimini M和Miller D《2015年认证程序和证明会议论文集上互模拟元理论的轻量级形式化》,(157-166) McCarty L如何在典型的感知语义学中为法律话语奠定语言基础第十五届人工智能与法律国际会议论文集,(89-98) Miller D证明检查与逻辑编程第17届声明式编程原理与实践国际研讨会论文集,(18-18) Chihani Z、Libal T和Reis G第24届国际自动推理与分析表及相关方法会议论文集——第9323卷,(201-210) Miller D证明检验与逻辑编程第25届基于逻辑的程序合成与转换国际研讨会修订论文集(第9527卷,(3-17)) Miller D和Volpe M聚焦模态逻辑的标记证明系统第20届国际编程、人工智能和推理逻辑会议论文集-第9450卷,(266-280) Dunchev C、Guidi F、Sacerdoti Coen C和Tassi E ELPI第20届国际逻辑编程、人工智能和推理会议论文集-第9450卷,(460-468) Cervesato I《逻辑框架与元语言:理论与实践2014年国际研讨会逻辑程序设计论文集中索引的理论基础》,(1-9) Bélanger O和Chaudhuri K为动态语境自动推导图解定理2014年逻辑框架和元语言国际研讨会论文集:理论与实践,(1-8) Miller D基础证明证书第八届ACM SIGPLAN逻辑框架与元语言国际研讨会论文集:理论与实践,(1-2) Wang Y,Chaudhuri K,Gacek A和Nadatur G关于高阶关系规范的推理第15届声明式编程原理与实践研讨会论文集,(157-168) Chihani Z、Miller D和Renaud F第24届自动扣除国际会议论文集一阶逻辑基础证明证书,(162-177) Olarte C、Pimentel E、Rueda C和Cataño N访问权限自动验证的线性并发约束方法第14届声明式编程原理与实践研讨会论文集,(207-216)
建议
高阶方程逻辑程序设计 POPL’94:第21届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 高阶方程逻辑编程是一种结合了一阶方程和高阶逻辑编程的范式,其中高阶逻辑程序设计基于简单类型λ-项的子类,称为高阶模式。 中心。。。