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

@@ label / en / label / en @@
+A Verified LL(1) Parser Generator
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://drops.dagstuhl.de/opus/volltexte/2019/11079/pdf/LIPIcs-ITP-2019-24.pdf/
+Normal rank
@@ Property / OpenAlex ID @@
+W2978834141
@@ Property / OpenAlex ID: W2978834141 / rank @@
+Normal rank
@@ Property / title @@
+A Verified LL(1) Parser Generator (English)
@@ Property / title: A Verified LL(1) Parser Generator (English) / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5875434