Matches in SemOpenAlex for { <https://semopenalex.org/work/W2577018547> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2577018547 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.
- W2577018547 created "2017-01-26" @default.
- W2577018547 creator A5005850065 @default.
- W2577018547 creator A5011716427 @default.
- W2577018547 creator A5046980155 @default.
- W2577018547 creator A5072923235 @default.
- W2577018547 creator A5086247961 @default.
- W2577018547 date "2015-12-31" @default.
- W2577018547 modified "2023-10-01" @default.
- W2577018547 title "A Constraint Language for Static Semantic Analysis Based on Scope Graphs with Proofs" @default.
- W2577018547 hasPublicationYear "2015" @default.
- W2577018547 type Work @default.
- W2577018547 sameAs 2577018547 @default.
- W2577018547 citedByCount "0" @default.
- W2577018547 crossrefType "journal-article" @default.
- W2577018547 hasAuthorship W2577018547A5005850065 @default.
- W2577018547 hasAuthorship W2577018547A5011716427 @default.
- W2577018547 hasAuthorship W2577018547A5046980155 @default.
- W2577018547 hasAuthorship W2577018547A5072923235 @default.
- W2577018547 hasAuthorship W2577018547A5086247961 @default.
- W2577018547 hasConcept C108710211 @default.
- W2577018547 hasConcept C114466953 @default.
- W2577018547 hasConcept C199360897 @default.
- W2577018547 hasConcept C2524010 @default.
- W2577018547 hasConcept C2776036281 @default.
- W2577018547 hasConcept C2778012447 @default.
- W2577018547 hasConcept C2780522230 @default.
- W2577018547 hasConcept C33923547 @default.
- W2577018547 hasConcept C41008148 @default.
- W2577018547 hasConcept C80444323 @default.
- W2577018547 hasConceptScore W2577018547C108710211 @default.
- W2577018547 hasConceptScore W2577018547C114466953 @default.
- W2577018547 hasConceptScore W2577018547C199360897 @default.
- W2577018547 hasConceptScore W2577018547C2524010 @default.
- W2577018547 hasConceptScore W2577018547C2776036281 @default.
- W2577018547 hasConceptScore W2577018547C2778012447 @default.
- W2577018547 hasConceptScore W2577018547C2780522230 @default.
- W2577018547 hasConceptScore W2577018547C33923547 @default.
- W2577018547 hasConceptScore W2577018547C41008148 @default.
- W2577018547 hasConceptScore W2577018547C80444323 @default.
- W2577018547 hasLocation W25770185471 @default.
- W2577018547 hasOpenAccess W2577018547 @default.
- W2577018547 hasPrimaryLocation W25770185471 @default.
- W2577018547 hasRelatedWork W134163864 @default.
- W2577018547 hasRelatedWork W1492375239 @default.
- W2577018547 hasRelatedWork W1503554498 @default.
- W2577018547 hasRelatedWork W1566842404 @default.
- W2577018547 hasRelatedWork W1776802235 @default.
- W2577018547 hasRelatedWork W1796206066 @default.
- W2577018547 hasRelatedWork W2029294635 @default.
- W2577018547 hasRelatedWork W2095324918 @default.
- W2577018547 hasRelatedWork W2206718831 @default.
- W2577018547 hasRelatedWork W2279574202 @default.
- W2577018547 hasRelatedWork W2293260007 @default.
- W2577018547 hasRelatedWork W2551915482 @default.
- W2577018547 hasRelatedWork W2908785792 @default.
- W2577018547 hasRelatedWork W2913574860 @default.
- W2577018547 hasRelatedWork W2963324371 @default.
- W2577018547 hasRelatedWork W2971735980 @default.
- W2577018547 hasRelatedWork W3132660874 @default.
- W2577018547 hasRelatedWork W3183800357 @default.
- W2577018547 hasRelatedWork W97543706 @default.
- W2577018547 hasRelatedWork W1524220747 @default.
- W2577018547 isParatext "false" @default.
- W2577018547 isRetracted "false" @default.
- W2577018547 magId "2577018547" @default.
- W2577018547 workType "article" @default.