Matches in SemOpenAlex for { <https://semopenalex.org/work/W2199942537> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2199942537 abstract "We extend and combine two existing declarative formalisms, the scope graphs of Neron et al. and type constraint systems, to build a language-independent theory that can describe both name and type resolution for realistic languages with complex scope and typing rules. Unlike conventional static semantics presentations, our approach maintains a clear separation between scoping and typing concerns, while still being able to handle language constructs, such as class field access, for which name and type resolution are necessarily intertwined. We define a constraint scheme that can express both typing and name binding constraints, and give a formal notion of constraint satisfiability together with a sound algorithm for finding solutions in important special cases. We describe the details of constraint generation for a model language that illustrates many of the interesting resolution issues associated with modules, classes, and records. Our constraint generator and solver have been implemented in the Spoofax Language Workbench." @default.
- W2199942537 created "2016-06-24" @default.
- W2199942537 creator A5005850065 @default.
- W2199942537 creator A5011716427 @default.
- W2199942537 creator A5046980155 @default.
- W2199942537 creator A5072923235 @default.
- W2199942537 creator A5086247961 @default.
- W2199942537 date "2015-12-31" @default.
- W2199942537 modified "2023-10-01" @default.
- W2199942537 title "Language-Independent Type-Dependent Name Resolution" @default.
- W2199942537 cites W1507723317 @default.
- W2199942537 cites W1583295953 @default.
- W2199942537 cites W1738994323 @default.
- W2199942537 cites W2022744394 @default.
- W2199942537 cites W2033348393 @default.
- W2199942537 cites W2052735108 @default.
- W2199942537 cites W2068457689 @default.
- W2199942537 cites W2069858276 @default.
- W2199942537 cites W2093737074 @default.
- W2199942537 cites W2154390633 @default.
- W2199942537 cites W2163976959 @default.
- W2199942537 cites W2166822586 @default.
- W2199942537 cites W2791432383 @default.
- W2199942537 cites W3163132554 @default.
- W2199942537 cites W781995223 @default.
- W2199942537 hasPublicationYear "2015" @default.
- W2199942537 type Work @default.
- W2199942537 sameAs 2199942537 @default.
- W2199942537 citedByCount "0" @default.
- W2199942537 crossrefType "journal-article" @default.
- W2199942537 hasAuthorship W2199942537A5005850065 @default.
- W2199942537 hasAuthorship W2199942537A5011716427 @default.
- W2199942537 hasAuthorship W2199942537A5046980155 @default.
- W2199942537 hasAuthorship W2199942537A5072923235 @default.
- W2199942537 hasAuthorship W2199942537A5086247961 @default.
- W2199942537 hasConcept C138268822 @default.
- W2199942537 hasConcept C154945302 @default.
- W2199942537 hasConcept C171018156 @default.
- W2199942537 hasConcept C179603123 @default.
- W2199942537 hasConcept C199360897 @default.
- W2199942537 hasConcept C199622910 @default.
- W2199942537 hasConcept C2524010 @default.
- W2199942537 hasConcept C2776036281 @default.
- W2199942537 hasConcept C2777904410 @default.
- W2199942537 hasConcept C2778012447 @default.
- W2199942537 hasConcept C33923547 @default.
- W2199942537 hasConcept C41008148 @default.
- W2199942537 hasConcept C49937458 @default.
- W2199942537 hasConcept C80444323 @default.
- W2199942537 hasConceptScore W2199942537C138268822 @default.
- W2199942537 hasConceptScore W2199942537C154945302 @default.
- W2199942537 hasConceptScore W2199942537C171018156 @default.
- W2199942537 hasConceptScore W2199942537C179603123 @default.
- W2199942537 hasConceptScore W2199942537C199360897 @default.
- W2199942537 hasConceptScore W2199942537C199622910 @default.
- W2199942537 hasConceptScore W2199942537C2524010 @default.
- W2199942537 hasConceptScore W2199942537C2776036281 @default.
- W2199942537 hasConceptScore W2199942537C2777904410 @default.
- W2199942537 hasConceptScore W2199942537C2778012447 @default.
- W2199942537 hasConceptScore W2199942537C33923547 @default.
- W2199942537 hasConceptScore W2199942537C41008148 @default.
- W2199942537 hasConceptScore W2199942537C49937458 @default.
- W2199942537 hasConceptScore W2199942537C80444323 @default.
- W2199942537 hasLocation W21999425371 @default.
- W2199942537 hasOpenAccess W2199942537 @default.
- W2199942537 hasPrimaryLocation W21999425371 @default.
- W2199942537 hasRelatedWork W1032800 @default.
- W2199942537 hasRelatedWork W1593209893 @default.
- W2199942537 hasRelatedWork W1599066311 @default.
- W2199942537 hasRelatedWork W2021519440 @default.
- W2199942537 hasRelatedWork W2030916392 @default.
- W2199942537 hasRelatedWork W2104216136 @default.
- W2199942537 hasRelatedWork W2119846530 @default.
- W2199942537 hasRelatedWork W2119857670 @default.
- W2199942537 hasRelatedWork W2121993468 @default.
- W2199942537 hasRelatedWork W2140602484 @default.
- W2199942537 hasRelatedWork W2208549450 @default.
- W2199942537 hasRelatedWork W2243479927 @default.
- W2199942537 hasRelatedWork W2267235348 @default.
- W2199942537 hasRelatedWork W2293830332 @default.
- W2199942537 hasRelatedWork W2621223372 @default.
- W2199942537 hasRelatedWork W2731085289 @default.
- W2199942537 hasRelatedWork W2798573857 @default.
- W2199942537 hasRelatedWork W2964853020 @default.
- W2199942537 hasRelatedWork W3007295124 @default.
- W2199942537 hasRelatedWork W3103318063 @default.
- W2199942537 isParatext "false" @default.
- W2199942537 isRetracted "false" @default.
- W2199942537 magId "2199942537" @default.
- W2199942537 workType "article" @default.