摘要
补充材料
H.巴伦德雷格特。 兰姆达演算:它的语法和语义。 北荷兰,1984年。 谷歌学者 阿尔伯特·本文尼斯特和杰拉德·贝里。 无功和实时系统的同步方法。 IEEE 79(9)会议记录,1991年。 谷歌学者 交叉引用 阿尔伯特·本文尼斯特(Albert Benveniste)、保罗·卡斯皮(Paul Caspi)、斯蒂芬·爱德华兹(Stephen A.Edwards)、尼古拉斯·哈尔巴赫斯(Nicolas Halbwachs)、保尔·勒格尼奇(Paule Le Guernic)和罗伯。 12年后的同步语言。 IEEE 91(1)会议记录,2002年。 谷歌学者 杰拉德·贝里。 Esterel v5语言初级版v5_91。 巴黎矿业学院,CMA和INRIA,索菲亚·安蒂波利斯,法国,2000年。 谷歌学者 杰拉德·贝里。 纯Esterel的构造语义(草案第3版)。 2002 谷歌学者 热拉尔·贝里、阿马尔·博阿利、泽维尔·福纳里、埃曼纽尔·莱迪诺、埃里克·纳索尔和罗伯特·德西蒙。 ESTEREL:一种应用于航空电子软件开发的形式化方法。 《计算机程序设计科学》36(1),第5–25页,2000年。 谷歌学者 数字图书馆 杰拉德·贝瑞和乔治·戈蒂尔。 Esterel同步编程语言:设计,语义,实现。 《计算机程序设计科学》19(2),第87–152页,1992年。 谷歌学者 数字图书馆 热拉尔·贝里、西普琳·尼古拉斯和曼努埃尔·塞拉诺。 嘻哈:一种同步反应式跳跃延伸。 程序中。 塑料,2011年。 谷歌学者 数字图书馆 马蒂亚斯·费莱森、罗伯特·布鲁斯·芬德勒和马修·弗拉特。 PLT Redex语义工程。 麻省理工学院出版社,2009年。 谷歌学者 数字图书馆 马提亚斯·费莱森和罗伯特·希布。 关于顺序控制和状态句法理论的修订报告。 理论计算机科学103(2),第235-271页,1992年。 谷歌学者 数字图书馆 马修·弗拉特和PLT。 参考:支架。 PLT公司,PLT-TR-2010-12010年。 http://拍子- lang.org/tr1语言/ 谷歌学者 Spencer P.Florence、Burke Fetscher、Matthew Flatt、William H.Temps、Tina Kiguradze、Dennis P.West、Charlotte Niznik、Paul R.Yarnold、Robert Bruce Findler和Steven M.Belknap。 POP-PL:一种面向患者的处方编程语言。 程序中。 GPCE,2015年。 谷歌学者 数字图书馆 林赛·库珀(Lindsey Kuper)和瑞恩·牛顿(Ryan R.Newton)。 LVars:用于确定性并行的基于格的数据结构。 程序中。 功能高性能计算(FHPC)研讨会,2013年。 谷歌学者 数字图书馆 Michael Mendler、Thomas R.Shiple和Gerard Berry。 构造布尔电路和定时三值模拟的精确性。 系统设计中的形式方法40,第283–329页,2012年。 谷歌学者 数字图书馆 本杰明·皮尔斯。 类型和编程语言。 麻省理工学院出版社,2002年。 谷歌学者 数字图书馆 戈登·普洛特金(Gordon Plotkin)。 Call-by-name、Call-by-value和λ-微积分。 理论计算机科学1(2),第125-159页,1975年。 谷歌学者 交叉引用 杜米特鲁·波托普·布图卡鲁。 Esterel程序更快模拟的优化。 博士论文,巴黎矿业大学,2002年。 谷歌学者 Dumitru Potop-Butucaru、Stephen A.Edwards和Gerard Berry。 编写Esterel。 施普林格,2007年。 谷歌学者 数字图书馆 克劳斯·施奈德(Klaus Schneider)和迈克尔·温茨(Michael Wenz)。 编译精神分裂症同步程序的新方法。 程序中。 2001年嵌入式系统编译器、体系结构和综合国际会议(CASES)。 谷歌学者 数字图书馆 曼努埃尔·塞拉诺(Manuel Serrano)和皮埃尔·韦斯(Pierre Weis)。 Bigloo:针对严格函数语言的可移植优化编译器。 程序中。 静态分析研讨会,1995年。 谷歌学者 数字图书馆 奥利维尔·塔迪厄(Olivier Tardieu)。 纯酯的确定逻辑语义。 《美国计算机学会编程语言与系统汇刊》29(2),2007年。 谷歌学者 数字图书馆 杨学军、杨晨、埃里克·艾德和约翰·雷格。 查找和理解C编译器中的错误。 程序中。 编程语言设计与实现(PLDI),2011年。 谷歌学者 数字图书馆
建议
霍尔能超越FOLL吗? ILP’10:第20届归纳逻辑编程国际会议论文集 学习一阶递归理论在正常的归纳逻辑编程(ILP)环境中仍然是一项困难的学习任务,尽管有许多方法已经解决了这一问题; 使用高阶逻辑(HOL)可以避免学习递归子句。。。 你可以相信的证据:证明Coq中Prolog语义之间的等价性 PPDP’13:第15届声明式编程原理与实践研讨会会议记录 基于形式语义的程序分析在逻辑编程范式中有着悠久而成功的传统。 这些分析依赖于关于数学复杂语义相对正确性的结果,这些分析的作者。。。 一种具有近似条件概率的逻辑,可以对默认推理进行建模 本文提出了一种概率逻辑的证明理论方法,该逻辑允许关于(近似)条件概率的表达式。 该逻辑用概率算子丰富了命题演算,并将概率算子应用于命题。。。