受强制性开放获取政策约束的文章 - Peng Wang了解详情
可在其他位置公开访问的文章：5 篇
TiML: a functional language for practical complexity analysis with invariants
P Wang, D Wang, A Chlipala
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
强制性开放获取政策： US National Science Foundation, US Department of Defense
Compiler verification meets cross-language linking via data abstraction
P Wang, S Cuellar, A Chlipala
ACM SIGPLAN Notices 49 (10), 675-690, 2014
强制性开放获取政策： US Department of Energy
Extensible extraction of efficient imperative programs with foreign functions, manually managed memory, and proofs
C Pit-Claudel, P Wang, B Delaware, J Gross, A Chlipala
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
强制性开放获取政策： US National Science Foundation, US Department of Defense
The end of history? Using a proof assistant to replace language design with library design
A Chlipala, B Delaware, S Duchovni, JS Gross, CF Pit-Claudel, ...
Dagstuhl Research, 2017
强制性开放获取政策： US National Science Foundation, US Department of Defense
TiML: a functional language for practical complexity analysis with invariants
A Chlipala, P Wang, D Want
Association for Computing Machinery (ACM), 2017
强制性开放获取政策： US National Science Foundation, US Department of Defense
出版信息和资助信息由计算机程序自动确定