Verified, Executable Parsing
Loading...
Date
Authors
Barthwal, Aditi
Norrish, Michael
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
We describe the mechanisation of an SLR parser produced by a parser generator, covering background properties of context-free languages and grammars, as well as the construction of an SLR automaton. Among the various properties proved about the parser we
Description
Citation
Collections
Source
Type
Book Title
Programming Languages and Systems (ETAPS 2009)
Entity type
Access Statement
License Rights
Restricted until
2037-12-31