AwesomePL
所属分类：论文
开发工具：Others
文件大小：0KB
下载次数：0
上传日期：2022-05-10 15:31:42
上 传 者：
sh-1993
说明： 编程语言与形式验证论文集，
(A Collection of Papers & Notes in Programming Language & Formal Verification,)
文件列表:
PLDI/ (0, 2022-05-10)
PLDI/2021/ (0, 2022-05-10)
PLDI/2021/Proof Repair/ (0, 2022-05-10)
PLDI/2021/Proof Repair/Proof Repair across Type Equivalences.pdf (383048, 2022-05-10)
PLDI/2021/Proof Repair/Talia_talk.pdf (4874923, 2022-05-10)
PLDI/2021/Proof Repair/report.pdf (3050342, 2022-05-10)
POPL/ (0, 2022-05-10)
POPL/2015/ (0, 2022-05-10)
POPL/2015/Verasco/ (0, 2022-05-10)
POPL/2015/Verasco/Chocola-2019-04-Leroy.pdf (515172, 2022-05-10)
POPL/2015/Verasco/Jourdan_talk.pdf (582116, 2022-05-10)
POPL/2015/Verasco/Verasco_ a Formally Verified C Static Analyzer.pdf (1980208, 2022-05-10)
POPL/2015/Verasco/verasco-popl2015.pdf (342406, 2022-05-10)
# AwesomePL
## POPL
### 2015
[Verasco: a Formally Verified C Static Analyzer](https://github.com/MisakaCenter/AwesomePL/tree/main/POPL/2015/Verasco)
## PLDI
### 2021
[Proof Repair Across Type Equivalences](https://github.com/MisakaCenter/AwesomePL/tree/main/PLDI/2021/Proof%20Repair)
近期下载者：
相关文件：
收藏者：