A Verified LL(1) Parser Generator (Q5875434): Difference between revisions

@@ Property / cites work @@
+Q4343027
@@ Property / cites work: Q4343027 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified, Executable Parsing
@@ Property / cites work: Verified, Executable Parsing / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanized semantics for the clight subset of the C language
+Normal rank
@@ Property / cites work @@
+Parsing expression grammars
@@ Property / cites work: Parsing expression grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q3503197
@@ Property / cites work: Q3503197 / rank @@
+Normal rank
@@ Property / cites work @@
+Validating LR(1) Parsers
@@ Property / cites work: Validating LR(1) Parsers / rank @@
+Normal rank
@@ Property / cites work @@
+TRX: A Formally Verified Parser Interpreter
@@ Property / cites work: TRX: A Formally Verified Parser Interpreter / rank @@
+Normal rank
@@ Property / cites work @@
+Extraction in Coq: An Overview
@@ Property / cites work: Extraction in Coq: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Program-ing finger trees in C             <scp>oq</scp>
@@ Property / cites work: Program-ing finger trees in C <scp>oq</scp> / rank @@
+Normal rank