Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars (Q3100206): Difference between revisions

@@ Property / describes a project that uses @@
+TRX
@@ Property / describes a project that uses: TRX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CompCert
@@ Property / describes a project that uses: CompCert / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-25379-9_10
+Normal rank
@@ Property / OpenAlex ID @@
+W158755604
@@ Property / OpenAlex ID: W158755604 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified, Executable Parsing
@@ Property / cites work: Verified, Executable Parsing / rank @@
+Normal rank
@@ Property / cites work @@
+Total parser combinators
@@ Property / cites work: Total parser combinators / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient context-free parsing algorithm
@@ Property / cites work: An efficient context-free parsing algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Packrat parsing:
@@ Property / cites work: Packrat parsing: / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order functions for parsing
@@ Property / cites work: Higher-order functions for parsing / 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 @@
+The predictive analyzer and a path elimination technique
+Normal rank
@@ Property / cites work @@
+Q4095851
@@ Property / cites work: Q4095851 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3100206