FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2534815697> ?p ?o ?g. }

• W2534815697 abstract "We present a type system and inference algorithm for a rich subset of JavaScript equipped with objects, structural subtyping, prototype inheritance, and first-class methods. The type system supports abstract and recursive objects, and is expressive enough to accommodate several standard benchmarks with only minor workarounds. The invariants enforced by the types enable an ahead-of-time compiler to carry out optimizations typically beyond the reach of static compilers for dynamic languages. Unlike previous inference techniques for prototype inheritance, our algorithm uses a combination of lower and upper bound propagation to infer types and discover type errors in all code, including uninvoked functions. The inference is expressed in a simple constraint language, designed to leverage off-the-shelf fixed point solvers. We prove soundness for both the type system and inference algorithm. An experimental evaluation showed that the inference is powerful, handling the aforementioned benchmarks with no manual type annotation, and that the inferred types enable effective static compilation." @default.
• W2534815697 created "2016-10-28" @default.
• W2534815697 creator A5002069299 @default.
• W2534815697 creator A5012489417 @default.
• W2534815697 creator A5016366186 @default.
• W2534815697 creator A5038828346 @default.
• W2534815697 creator A5072587371 @default.
• W2534815697 creator A5082768190 @default.
• W2534815697 creator A5087594876 @default.
• W2534815697 date "2016-10-19" @default.
• W2534815697 modified "2023-10-17" @default.
• W2534815697 title "Type inference for static compilation of JavaScript" @default.
• W2534815697 cites W1495342505 @default.
• W2534815697 cites W1503606081 @default.
• W2534815697 cites W1529805101 @default.
• W2534815697 cites W1999753800 @default.
• W2534815697 cites W202191487 @default.
• W2534815697 cites W2040152339 @default.
• W2534815697 cites W2067872353 @default.
• W2534815697 cites W2077116540 @default.
• W2534815697 cites W2081992169 @default.
• W2534815697 cites W2091335641 @default.
• W2534815697 cites W2093036100 @default.
• W2534815697 cites W2102473657 @default.
• W2534815697 cites W2113556560 @default.
• W2534815697 cites W2129345992 @default.
• W2534815697 cites W2152419799 @default.
• W2534815697 cites W2156249516 @default.
• W2534815697 cites W2163976959 @default.
• W2534815697 cites W2179972501 @default.
• W2534815697 cites W2537680118 @default.
• W2534815697 cites W4229717394 @default.
• W2534815697 cites W4244807040 @default.
• W2534815697 cites W753900477 @default.
• W2534815697 doi "https://doi.org/10.1145/2983990.2984017" @default.
• W2534815697 hasPublicationYear "2016" @default.
• W2534815697 type Work @default.
• W2534815697 sameAs 2534815697 @default.
• W2534815697 citedByCount "19" @default.
• W2534815697 countsByYear W25348156972016 @default.
• W2534815697 countsByYear W25348156972017 @default.
• W2534815697 countsByYear W25348156972018 @default.
• W2534815697 countsByYear W25348156972019 @default.
• W2534815697 countsByYear W25348156972020 @default.
• W2534815697 countsByYear W25348156972021 @default.
• W2534815697 countsByYear W25348156972023 @default.
• W2534815697 crossrefType "proceedings-article" @default.
• W2534815697 hasAuthorship W2534815697A5002069299 @default.
• W2534815697 hasAuthorship W2534815697A5012489417 @default.
• W2534815697 hasAuthorship W2534815697A5016366186 @default.
• W2534815697 hasAuthorship W2534815697A5038828346 @default.
• W2534815697 hasAuthorship W2534815697A5072587371 @default.
• W2534815697 hasAuthorship W2534815697A5082768190 @default.
• W2534815697 hasAuthorship W2534815697A5087594876 @default.
• W2534815697 hasConcept C104317684 @default.
• W2534815697 hasConcept C11413529 @default.
• W2534815697 hasConcept C153083717 @default.
• W2534815697 hasConcept C154945302 @default.
• W2534815697 hasConcept C169590947 @default.
• W2534815697 hasConcept C185592680 @default.
• W2534815697 hasConcept C198370458 @default.
• W2534815697 hasConcept C199360897 @default.
• W2534815697 hasConcept C2776214188 @default.
• W2534815697 hasConcept C2780902518 @default.
• W2534815697 hasConcept C39920170 @default.
• W2534815697 hasConcept C41008148 @default.
• W2534815697 hasConcept C544833334 @default.
• W2534815697 hasConcept C55493867 @default.
• W2534815697 hasConcept C80444323 @default.
• W2534815697 hasConceptScore W2534815697C104317684 @default.
• W2534815697 hasConceptScore W2534815697C11413529 @default.
• W2534815697 hasConceptScore W2534815697C153083717 @default.
• W2534815697 hasConceptScore W2534815697C154945302 @default.
• W2534815697 hasConceptScore W2534815697C169590947 @default.
• W2534815697 hasConceptScore W2534815697C185592680 @default.
• W2534815697 hasConceptScore W2534815697C198370458 @default.
• W2534815697 hasConceptScore W2534815697C199360897 @default.
• W2534815697 hasConceptScore W2534815697C2776214188 @default.
• W2534815697 hasConceptScore W2534815697C2780902518 @default.
• W2534815697 hasConceptScore W2534815697C39920170 @default.
• W2534815697 hasConceptScore W2534815697C41008148 @default.
• W2534815697 hasConceptScore W2534815697C544833334 @default.
• W2534815697 hasConceptScore W2534815697C55493867 @default.
• W2534815697 hasConceptScore W2534815697C80444323 @default.
• W2534815697 hasLocation W25348156971 @default.
• W2534815697 hasOpenAccess W2534815697 @default.
• W2534815697 hasPrimaryLocation W25348156971 @default.
• W2534815697 hasRelatedWork W1434978938 @default.
• W2534815697 hasRelatedWork W1497385637 @default.
• W2534815697 hasRelatedWork W1600567011 @default.
• W2534815697 hasRelatedWork W2116136092 @default.
• W2534815697 hasRelatedWork W2156249516 @default.
• W2534815697 hasRelatedWork W2192862863 @default.
• W2534815697 hasRelatedWork W2557565131 @default.
• W2534815697 hasRelatedWork W3034079570 @default.
• W2534815697 hasRelatedWork W3161280170 @default.
• W2534815697 hasRelatedWork W4301270975 @default.
• W2534815697 isParatext "false" @default.
• W2534815697 isRetracted "false" @default.
• W2534815697 magId "2534815697" @default.

• next