Matches in SemOpenAlex for { <https://semopenalex.org/work/W3104328781> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3104328781 abstract "Parsing Expression Grammars (PEGs) are a recognition-based formalism which allows to describe the syntactical and the lexical elements of a language. The main difference between Context-Free Grammars (CFGs) and PEGs relies on the interpretation of the choice operator: while the CFGs' unordered choice e | e' is interpreted as the union of the languages recognized by e and e, the PEGs' prioritized choice e/e' discards e' if e succeeds. Such subtle, but important difference, changes the language recognized and yields more efficient parsing algorithms. This paper proposes a rewriting logic semantics for PEGs. We start with a rewrite theory giving meaning to the usual constructs in PEGs. Later, we show that cuts, a mechanism for controlling backtracks in PEGs, finds also a natural representation in our framework. We generalize such mechanism, allowing for both local and global cuts with a precise, unified and formal semantics. Hence, our work strives at better understanding and controlling backtracks in parsers for PEGs. The semantics we propose is executable and, besides being a parser with modest efficiency, it can be used as a playground to test different optimization ideas. More importantly, it is a mathematical tool that can be used for different analyses." @default.
- W3104328781 created "2020-11-23" @default.
- W3104328781 creator A5047180960 @default.
- W3104328781 creator A5057209426 @default.
- W3104328781 date "2020-11-15" @default.
- W3104328781 modified "2023-09-27" @default.
- W3104328781 title "A semantic framework for PEGs" @default.
- W3104328781 cites W1714036158 @default.
- W3104328781 cites W2006766139 @default.
- W3104328781 cites W2018045485 @default.
- W3104328781 cites W2029227380 @default.
- W3104328781 cites W2156429182 @default.
- W3104328781 cites W2159233442 @default.
- W3104328781 cites W2166030873 @default.
- W3104328781 cites W2188521969 @default.
- W3104328781 cites W2810856661 @default.
- W3104328781 cites W2891661636 @default.
- W3104328781 cites W2980259311 @default.
- W3104328781 cites W3013745534 @default.
- W3104328781 cites W4237774781 @default.
- W3104328781 cites W4248027902 @default.
- W3104328781 cites W50119138 @default.
- W3104328781 doi "https://doi.org/10.1145/3426425.3426944" @default.
- W3104328781 hasPublicationYear "2020" @default.
- W3104328781 type Work @default.
- W3104328781 sameAs 3104328781 @default.
- W3104328781 citedByCount "1" @default.
- W3104328781 countsByYear W31043287812022 @default.
- W3104328781 crossrefType "proceedings-article" @default.
- W3104328781 hasAuthorship W3104328781A5047180960 @default.
- W3104328781 hasAuthorship W3104328781A5057209426 @default.
- W3104328781 hasBestOaLocation W31043287813 @default.
- W3104328781 hasConcept C142362112 @default.
- W3104328781 hasConcept C146072743 @default.
- W3104328781 hasConcept C147547768 @default.
- W3104328781 hasConcept C153349607 @default.
- W3104328781 hasConcept C154690210 @default.
- W3104328781 hasConcept C154945302 @default.
- W3104328781 hasConcept C160145156 @default.
- W3104328781 hasConcept C184337299 @default.
- W3104328781 hasConcept C186644900 @default.
- W3104328781 hasConcept C199360897 @default.
- W3104328781 hasConcept C204321447 @default.
- W3104328781 hasConcept C41008148 @default.
- W3104328781 hasConcept C558565934 @default.
- W3104328781 hasConcept C73301696 @default.
- W3104328781 hasConcept C80444323 @default.
- W3104328781 hasConceptScore W3104328781C142362112 @default.
- W3104328781 hasConceptScore W3104328781C146072743 @default.
- W3104328781 hasConceptScore W3104328781C147547768 @default.
- W3104328781 hasConceptScore W3104328781C153349607 @default.
- W3104328781 hasConceptScore W3104328781C154690210 @default.
- W3104328781 hasConceptScore W3104328781C154945302 @default.
- W3104328781 hasConceptScore W3104328781C160145156 @default.
- W3104328781 hasConceptScore W3104328781C184337299 @default.
- W3104328781 hasConceptScore W3104328781C186644900 @default.
- W3104328781 hasConceptScore W3104328781C199360897 @default.
- W3104328781 hasConceptScore W3104328781C204321447 @default.
- W3104328781 hasConceptScore W3104328781C41008148 @default.
- W3104328781 hasConceptScore W3104328781C558565934 @default.
- W3104328781 hasConceptScore W3104328781C73301696 @default.
- W3104328781 hasConceptScore W3104328781C80444323 @default.
- W3104328781 hasLocation W31043287811 @default.
- W3104328781 hasLocation W31043287812 @default.
- W3104328781 hasLocation W31043287813 @default.
- W3104328781 hasLocation W31043287814 @default.
- W3104328781 hasOpenAccess W3104328781 @default.
- W3104328781 hasPrimaryLocation W31043287811 @default.
- W3104328781 hasRelatedWork W1981466053 @default.
- W3104328781 hasRelatedWork W2026046761 @default.
- W3104328781 hasRelatedWork W2070147537 @default.
- W3104328781 hasRelatedWork W2111403313 @default.
- W3104328781 hasRelatedWork W2131543278 @default.
- W3104328781 hasRelatedWork W2165580945 @default.
- W3104328781 hasRelatedWork W2502722637 @default.
- W3104328781 hasRelatedWork W3195601461 @default.
- W3104328781 hasRelatedWork W4235735989 @default.
- W3104328781 hasRelatedWork W4242587360 @default.
- W3104328781 isParatext "false" @default.
- W3104328781 isRetracted "false" @default.
- W3104328781 magId "3104328781" @default.
- W3104328781 workType "article" @default.