波普马克

POPLmark挑战是一组具体的基准测试,用于度量进度和促进编程语言元理论机械化的讨论和协作。由于挑战问题的工作已经停止,POPLmark wiki已经被这个记录提交的解决方案和项目历史的静态页面所取代。


zbMATH中的参考文献(参考文献60篇文章,1标准件)

显示第1到第20个结果,共60个。
按年份排序(引用)
  1. 亚伯,安德烈亚斯;阿拉斯,纪尧姆;哈米尔,阿利娅;皮恩卡,布里吉特;阿尔伯托莫米格里亚诺;附表ä喂,史蒂文;斯塔克,凯瑟琳:波普马克重新加载:逻辑关系的机械化证明(2019)
  2. 加塞ía-P公司é雷兹,Á利瓦罗;通过标准减法(Paguelo-Krinoga,2019)中的完全减法(pure-Krinoga-proof:2019)
  3. 米勒,戴尔:重温机械化元理论(2019)
  4. 凯夫,安德鲁;Pientka,Brigitte:逻辑关系的机械化证明——Kripke风格(2018)
  5. 米奎,Étienne:Coq中的形式化蕴涵代数(2018)
  6. 赵金旭;奥利维拉,布鲁诺。d。S、 。;Schrijvers,Tom:多态子类型算法的形式化(2018)
  7. 卡莱特,雅克;Farmer,William M.:将数学知识形式化为双态理论图:案例研究(2017)
  8. 切尼,詹姆斯;Alberto Momigliano:(\alpha\mathrmCheck):机械化元理论模型检查器(2017)
  9. 格罗恩,赫尔穆特;沃格特änder,Janis:形式化语义双向化和依赖类型的扩展(2017)
  10. 凯撒,乔纳斯;皮恩卡,布里吉特;Smolka,Gert:关联系统F和(\lambda2):Coq、Abella和Beluga的案例研究(2017)
  11. 本特森,杰斯帕;鹦鹉,约阿希姆;韦伯,特贾克:伊莎贝尔的Psi计算(2016)
  12. 哈斯贝克,马克西米利安P。五十、 。;Nipkow,Tobias:列表更新算法验证分析(2016)
  13. 拉金,马修R。;斯特凡诺维奇,达科;Phillips,Andrew:通过串行化分析对化学反应网络编码进行模块化验证(2016)
  14. 王玉婷;Nadathur,Gopalan:验证函数程序转换的高阶抽象语法方法(2016)
  15. 阿斯佩蒂,安德里亚;Ricciotti,Wilmer:多带图灵机的形式化(2015)
  16. 阿尔伯托,齐亚法格利恩;斯加内特,伊万:《弱HOA中的机械化环境》(2015)
  17. 波佩斯库,安德烈;反渗透şu、 格里戈尔:术语泛型逻辑(2015)
  18. Ricciotti,Wilmer:《作为抽象数据类型的绑定结构》(2015)
  19. 斯密瑟斯,Sjaak;van Eekelen,Marko:高阶严格类型的推导与推论(2015)
  20. 克劳斯顿,兰纳德:《名义法理论:名称等式理论的范畴理论解释》(2014)