The Semantics of Parsing with Semantic Actions

  title={The Semantics of Parsing with Semantic Actions},
  author={Robert Atkey},
  journal={2012 27th Annual IEEE Symposium on Logic in Computer Science},
The recovery of structure from flat sequences of input data is a problem that almost all programs need to solve. Computer Science has developed a wide array of declarative languages for describing the structure of languages, usually based on the context-free grammar formalism, and there exist parser generators that produce efficient parsers for these descriptions. However, when faced with a problem involving parsing, most programmers opt for ad-hoc hand-coded solutions, or use parser combinator… CONTINUE READING


Publications referenced by this paper.
Showing 1-7 of 7 references

Economopolous. BRN-table based GLR Parsers (Draft)

  • E. Scott, A. Johnstone
  • Technical Report CSD-TR-03-06,
  • 2003
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…