Published April 12, 2021 | Version v1
Software Open

CoStar parser implementation, correctness proofs, and performance evaluation

Creators

  • 1. Tufts University

Description

Artifact submitted with the PLDI 2021 paper "CoStar: A Verified ALL(*) Parser"

Files

README.txt

Files (4.3 GB)

Name Size Download all
md5:c0cc3504f74e485eb35c9df5ea906f50
4.3 GB Download
md5:189458cf58c98b378c5fc85d70ba0481
7.3 kB Preview Download