Matches in SemOpenAlex for { <https://semopenalex.org/work/W2238262809> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2238262809 abstract "In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We treat name and type resolution as separate building blocks, but our approach can handle language constructs---such as record field access---for which binding and typing are mutually dependent. We also refine and extend our previous scope graph theory to address practical concerns including ambiguity checking and support for a wider range of scope relationships. We describe the details of constraint generation for a model language that illustrates many of the interesting static analysis issues associated with modules and records." @default.
- W2238262809 created "2016-06-24" @default.
- W2238262809 creator A5005850065 @default.
- W2238262809 creator A5011716427 @default.
- W2238262809 creator A5046980155 @default.
- W2238262809 creator A5072923235 @default.
- W2238262809 creator A5086247961 @default.
- W2238262809 date "2016-01-11" @default.
- W2238262809 modified "2023-10-01" @default.
- W2238262809 title "A constraint language for static semantic analysis based on scope graphs" @default.
- W2238262809 cites W1573418128 @default.
- W2238262809 cites W1738994323 @default.
- W2238262809 cites W1946588374 @default.
- W2238262809 cites W2022744394 @default.
- W2238262809 cites W2026098209 @default.
- W2238262809 cites W2037037228 @default.
- W2238262809 cites W2045041259 @default.
- W2238262809 cites W2045058623 @default.
- W2238262809 cites W2067872353 @default.
- W2238262809 cites W2070821087 @default.
- W2238262809 cites W2119114955 @default.
- W2238262809 cites W2122537103 @default.
- W2238262809 cites W2156429182 @default.
- W2238262809 cites W781995223 @default.
- W2238262809 doi "https://doi.org/10.1145/2847538.2847543" @default.
- W2238262809 hasPublicationYear "2016" @default.
- W2238262809 type Work @default.
- W2238262809 sameAs 2238262809 @default.
- W2238262809 citedByCount "30" @default.
- W2238262809 countsByYear W22382628092016 @default.
- W2238262809 countsByYear W22382628092017 @default.
- W2238262809 countsByYear W22382628092018 @default.
- W2238262809 countsByYear W22382628092019 @default.
- W2238262809 countsByYear W22382628092020 @default.
- W2238262809 countsByYear W22382628092021 @default.
- W2238262809 countsByYear W22382628092022 @default.
- W2238262809 countsByYear W22382628092023 @default.
- W2238262809 crossrefType "proceedings-article" @default.
- W2238262809 hasAuthorship W2238262809A5005850065 @default.
- W2238262809 hasAuthorship W2238262809A5011716427 @default.
- W2238262809 hasAuthorship W2238262809A5046980155 @default.
- W2238262809 hasAuthorship W2238262809A5072923235 @default.
- W2238262809 hasAuthorship W2238262809A5086247961 @default.
- W2238262809 hasBestOaLocation W22382628091 @default.
- W2238262809 hasConcept C114466953 @default.
- W2238262809 hasConcept C142362112 @default.
- W2238262809 hasConcept C153349607 @default.
- W2238262809 hasConcept C199360897 @default.
- W2238262809 hasConcept C2524010 @default.
- W2238262809 hasConcept C2776036281 @default.
- W2238262809 hasConcept C2778012447 @default.
- W2238262809 hasConcept C2780522230 @default.
- W2238262809 hasConcept C33923547 @default.
- W2238262809 hasConcept C41008148 @default.
- W2238262809 hasConcept C558565934 @default.
- W2238262809 hasConcept C73301696 @default.
- W2238262809 hasConcept C80444323 @default.
- W2238262809 hasConceptScore W2238262809C114466953 @default.
- W2238262809 hasConceptScore W2238262809C142362112 @default.
- W2238262809 hasConceptScore W2238262809C153349607 @default.
- W2238262809 hasConceptScore W2238262809C199360897 @default.
- W2238262809 hasConceptScore W2238262809C2524010 @default.
- W2238262809 hasConceptScore W2238262809C2776036281 @default.
- W2238262809 hasConceptScore W2238262809C2778012447 @default.
- W2238262809 hasConceptScore W2238262809C2780522230 @default.
- W2238262809 hasConceptScore W2238262809C33923547 @default.
- W2238262809 hasConceptScore W2238262809C41008148 @default.
- W2238262809 hasConceptScore W2238262809C558565934 @default.
- W2238262809 hasConceptScore W2238262809C73301696 @default.
- W2238262809 hasConceptScore W2238262809C80444323 @default.
- W2238262809 hasLocation W22382628091 @default.
- W2238262809 hasLocation W22382628092 @default.
- W2238262809 hasLocation W22382628093 @default.
- W2238262809 hasOpenAccess W2238262809 @default.
- W2238262809 hasPrimaryLocation W22382628091 @default.
- W2238262809 hasRelatedWork W2108597517 @default.
- W2238262809 hasRelatedWork W2112962394 @default.
- W2238262809 hasRelatedWork W2118300983 @default.
- W2238262809 hasRelatedWork W2374442885 @default.
- W2238262809 hasRelatedWork W2374512474 @default.
- W2238262809 hasRelatedWork W2803089302 @default.
- W2238262809 hasRelatedWork W3036793519 @default.
- W2238262809 hasRelatedWork W3137189469 @default.
- W2238262809 hasRelatedWork W4243252198 @default.
- W2238262809 hasRelatedWork W4300464747 @default.
- W2238262809 isParatext "false" @default.
- W2238262809 isRetracted "false" @default.
- W2238262809 magId "2238262809" @default.
- W2238262809 workType "article" @default.