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

@@ 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