Matches in SemOpenAlex for { <https://semopenalex.org/work/W2984181139> ?p ?o ?g. }
- W2984181139 abstract "A common standpoint when designing the syntax of programming languages is that the grammar definition has to be unambiguous. However, requiring up front unambiguous grammars can force language designers to make more or less arbitrary choices to disambiguate the language. In this paper, we depart from the traditional view of unambiguous grammar design, and enable the detection of ambiguities to be delayed until parse time, allowing the user of the language to perform the disambiguation. A natural decision problem follows: given a language definition, can a user always disambiguate an ambiguous program? We introduce and formalize this fundamental problem - called the resolvable ambiguity problem - and divide it into separate static and dynamic resolvability problems. We provide solutions to the static problem for a restricted language class and sketch proofs of soundness and completeness. We also provide a sound and complete solution to the dynamic problem for a much less restricted class of languages. The approach is evaluated through two separate case studies, covering both a large existing programming language, and the composability of domain-specific languages." @default.
- W2984181139 created "2019-11-22" @default.
- W2984181139 creator A5044900918 @default.
- W2984181139 creator A5066526895 @default.
- W2984181139 creator A5071757079 @default.
- W2984181139 creator A5073873489 @default.
- W2984181139 date "2019-11-13" @default.
- W2984181139 modified "2023-10-01" @default.
- W2984181139 title "Resolvable Ambiguity" @default.
- W2984181139 cites W1021295116 @default.
- W2984181139 cites W1489411336 @default.
- W2984181139 cites W1491178396 @default.
- W2984181139 cites W1528415032 @default.
- W2984181139 cites W1565645576 @default.
- W2984181139 cites W1577934069 @default.
- W2984181139 cites W1580591826 @default.
- W2984181139 cites W1843198456 @default.
- W2984181139 cites W1989146600 @default.
- W2984181139 cites W2002121536 @default.
- W2984181139 cites W2013399578 @default.
- W2984181139 cites W2018009728 @default.
- W2984181139 cites W2018045485 @default.
- W2984181139 cites W2022744394 @default.
- W2984181139 cites W2035760294 @default.
- W2984181139 cites W2047709539 @default.
- W2984181139 cites W2072750798 @default.
- W2984181139 cites W2091232155 @default.
- W2984181139 cites W2104323416 @default.
- W2984181139 cites W2134495021 @default.
- W2984181139 cites W2137231339 @default.
- W2984181139 cites W2139935350 @default.
- W2984181139 cites W2144910575 @default.
- W2984181139 cites W2151033407 @default.
- W2984181139 cites W2163032283 @default.
- W2984181139 cites W2242020215 @default.
- W2984181139 cites W2296064069 @default.
- W2984181139 cites W2904161393 @default.
- W2984181139 cites W2915015694 @default.
- W2984181139 cites W34477531 @default.
- W2984181139 hasPublicationYear "2019" @default.
- W2984181139 type Work @default.
- W2984181139 sameAs 2984181139 @default.
- W2984181139 citedByCount "0" @default.
- W2984181139 crossrefType "posted-content" @default.
- W2984181139 hasAuthorship W2984181139A5044900918 @default.
- W2984181139 hasAuthorship W2984181139A5066526895 @default.
- W2984181139 hasAuthorship W2984181139A5071757079 @default.
- W2984181139 hasAuthorship W2984181139A5073873489 @default.
- W2984181139 hasConcept C108710211 @default.
- W2984181139 hasConcept C11413529 @default.
- W2984181139 hasConcept C134306372 @default.
- W2984181139 hasConcept C138885662 @default.
- W2984181139 hasConcept C154945302 @default.
- W2984181139 hasConcept C17231256 @default.
- W2984181139 hasConcept C186644900 @default.
- W2984181139 hasConcept C195324797 @default.
- W2984181139 hasConcept C199360897 @default.
- W2984181139 hasConcept C2524010 @default.
- W2984181139 hasConcept C26022165 @default.
- W2984181139 hasConcept C2777212361 @default.
- W2984181139 hasConcept C2779231336 @default.
- W2984181139 hasConcept C2780522230 @default.
- W2984181139 hasConcept C33923547 @default.
- W2984181139 hasConcept C39920170 @default.
- W2984181139 hasConcept C41008148 @default.
- W2984181139 hasConcept C41895202 @default.
- W2984181139 hasConcept C53893814 @default.
- W2984181139 hasConcept C60048249 @default.
- W2984181139 hasConceptScore W2984181139C108710211 @default.
- W2984181139 hasConceptScore W2984181139C11413529 @default.
- W2984181139 hasConceptScore W2984181139C134306372 @default.
- W2984181139 hasConceptScore W2984181139C138885662 @default.
- W2984181139 hasConceptScore W2984181139C154945302 @default.
- W2984181139 hasConceptScore W2984181139C17231256 @default.
- W2984181139 hasConceptScore W2984181139C186644900 @default.
- W2984181139 hasConceptScore W2984181139C195324797 @default.
- W2984181139 hasConceptScore W2984181139C199360897 @default.
- W2984181139 hasConceptScore W2984181139C2524010 @default.
- W2984181139 hasConceptScore W2984181139C26022165 @default.
- W2984181139 hasConceptScore W2984181139C2777212361 @default.
- W2984181139 hasConceptScore W2984181139C2779231336 @default.
- W2984181139 hasConceptScore W2984181139C2780522230 @default.
- W2984181139 hasConceptScore W2984181139C33923547 @default.
- W2984181139 hasConceptScore W2984181139C39920170 @default.
- W2984181139 hasConceptScore W2984181139C41008148 @default.
- W2984181139 hasConceptScore W2984181139C41895202 @default.
- W2984181139 hasConceptScore W2984181139C53893814 @default.
- W2984181139 hasConceptScore W2984181139C60048249 @default.
- W2984181139 hasLocation W29841811391 @default.
- W2984181139 hasOpenAccess W2984181139 @default.
- W2984181139 hasPrimaryLocation W29841811391 @default.
- W2984181139 hasRelatedWork W1480083779 @default.
- W2984181139 hasRelatedWork W1508398345 @default.
- W2984181139 hasRelatedWork W1568444775 @default.
- W2984181139 hasRelatedWork W1573982151 @default.
- W2984181139 hasRelatedWork W1581399737 @default.
- W2984181139 hasRelatedWork W1852325453 @default.
- W2984181139 hasRelatedWork W2058377260 @default.
- W2984181139 hasRelatedWork W2062279113 @default.
- W2984181139 hasRelatedWork W2088503709 @default.