Everparse: A Verifying Compiler from Data Format Specifications to Verified Efficient Parsers

POPL 2020

Everparse: A Verifying Compiler from Data Format Specifications to Verified Efficient Parsers

Sep 17, 2020
|
37 views
Details
Presenter: Tahina Ramananandro Presented at PriSC'20, colocated with POPL 2020.

Comments
loading...