CoStar: a verified ALL(*) parser.

Lasser, Sam.

Casinghino, Chris.

Fisher, Kathleen.

Roux, Cody.


  • Keywords: interactive theorem proving, parsing.

    Topic: Software and its engineering / Software creation and management / Software verification and validation / Formal software verification

    Topic: Software and its engineering / Software notations and tools / Compilers / Parsers

    ACM Open.
This object is in collection Permanent URL Citation
  • Sam Lasser, Chris Casinghino, Kathleen Fisher, and Cody Roux. "CoStar: a verified ALL(*) parser." Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
To Cite:
TARC Citation Guide    EndNote
Detailed Rights
Rights Note:
This work is licensed under a Creative Commons Attribution International 4.0 License.