波普马克

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


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

显示第1到第20个结果,共58个。
按年份排序(引用)
  1. García-Pérez,Álvaro;Nogueira,Pablo:全约化krivine抽象机KN在锁步中模拟纯正规序约化:通过相应微积分的证明(2019)
  2. 米勒,戴尔:重温机械化元理论(2019)
  3. Cave,Andrew;Pientka,Brigitte:逻辑关系的机械化证明——Kripke风格(2018)
  4. Miquey,çtienne:Coq中的形式化蕴涵代数(2018)
  5. Zhao,Jinxu;Oliveira,Bruno C.d.S.;Schrijvers,Tom:多态子类型算法的形式化(2018)
  6. Carette,Jacques;Farmer,William M.:将数学知识形式化为双态理论图:案例研究(2017)
  7. Cheney,James;Momigliano,Alberto:(\alpha\mathrmCheck):机械化元理论模型检查器(2017)
  8. Grohne,Helmut;Voigtländer,Janis:形式化语义双向化和依赖类型的扩展(2017)
  9. Jesper Bengtson;Parrow,Joachim;Weber,Tjark:Isabelle的Psi calculi(2016年)
  10. Haslbeck,Maximilian P.L.;Nipkow,Tobias:列表更新算法验证分析(2016)
  11. Lakin,Matthew R.;Stefanovic,Darko;Phillips,Andrew:通过串行化分析对化学反应网络编码进行模块化验证(2016)
  12. Wang,Yuting;Nadathur,Gopalan:验证函数程序转换的高阶抽象语法方法(2016)
  13. Asperti,Andrea;Ricciotti,Wilmer:多带图灵机的形式化(2015)
  14. 阿尔伯托的Ciafaglione;Ivan的Scagnetto:弱HOAS中的机械化环境(2015)
  15. Popescu,Andrei;Roşu,Grigore:术语泛型逻辑(2015)
  16. Ricciotti,Wilmer:《作为抽象数据类型的绑定结构》(2015)
  17. Smetsers,Sjaak;van Eekelen,Marko:高阶严格性类型的推导和推断(2015)
  18. 克劳斯顿,兰纳德:《名义法理论:名称等式理论的范畴理论解释》(2014)
  19. Park,Jonghyun;Seo,Jeongbong;Park,Sungwoo;Lee,Gyesik:无需输入上下文的机械化元理论(2014)
  20. Smetsers,Sjaak;Barendsen,Erik:验证函数形式化——PVS中的一个类型理论案例研究(2013)ioport公司