波普马克

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


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

显示第1到第20个结果,共60个。
按年份排序(引用)
  1. 亚伯,安德烈亚斯;阿拉斯,纪尧姆;哈米尔,阿里亚;皮恩特卡,布里吉特;莫米利亚诺,阿尔伯托;施卡弗,史蒂文;斯塔克,凯瑟琳:波普尔马克重新加载:逻辑关系的机械化证明(2019年)
  2. García-Pérez,Álvaro;Nogueira,Pablo:全约化krivine抽象机KN在锁步中模拟纯正规序约化:通过相应微积分的证明(2019)
  3. 米勒,戴尔:重温机械化元理论(2019)
  4. Cave,Andrew;Pientka,Brigitte:逻辑关系的机械化证明——Kripke风格(2018)
  5. Miquey,çtienne:Coq中的形式化蕴涵代数(2018)
  6. Zhao,Jinxu;Oliveira,Bruno C.d.S.;Schrijvers,Tom:多态子类型算法的形式化(2018)
  7. Carette,Jacques;Farmer,William M.:将数学知识形式化为双态理论图:案例研究(2017)
  8. (\Mathliana,机械化模型:James Mathliana,2017)
  9. Grohne,Helmut;Voigtländer,Janis:形式化语义双向化和依赖类型的扩展(2017)
  10. Kaiser,Jonas;Pientka,Brigitte;Smolka,Gert:关联系统F和(\lambda2):Coq、Abella和Beluga案例研究(2017)
  11. Jesper Bengtson;Parrow,Joachim;Weber,Tjark:Isabelle的Psi calculi(2016年)
  12. Haslbeck,Maximilian P.L.;Nipkow,Tobias:列表更新算法验证分析(2016)
  13. Lakin,Matthew R.;Stefanovic,Darko;Phillips,Andrew:通过串行化分析对化学反应网络编码进行模块化验证(2016)
  14. Wang,Yuting;Nadathur,Gopalan:验证函数程序转换的高阶抽象语法方法(2016)
  15. Asperti,Andrea;Ricciotti,Wilmer:多带图灵机的形式化(2015)
  16. 阿尔伯托的Ciafaglione;Ivan的Scagnetto:弱HOAS中的机械化环境(2015)
  17. Popescu,Andrei;Roşu,Grigore:术语泛型逻辑(2015)
  18. Ricciotti,Wilmer:《作为抽象数据类型的绑定结构》(2015)
  19. Smetsers,Sjaak;van Eekelen,Marko:高阶严格性类型的推导和推断(2015)
  20. 克劳斯顿,兰纳德:《名义法理论:名称等式理论的范畴理论解释》(2014)