FRINK Linked Data Fragments server

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

• W2183610061 abstract "As the programming language of the web, JavaScript deserves a principled yet robust framework for static analysi s. To achieve both aims simultaneously, we start from an established reduction semantics for JavaScript and systematically derive its intensional abstract interpretation. Our first step is to transform the semantics into an equivalent low-level abstract machine: the JavaScript Abstract Machine (JAM). We then derive the systematic abstraction of the entire low-level machine. That process yields a finitestate, machine-based abstract interpretation for JavaScr ipt. The calculation of this analysis is itself a milestone, cons tituting the first “field validation” of the theory behind systematically abstracting abstract machines. This finite-st ate framework allows us to import important techniques from the over 30 years of work on higher-order program analysis. We can instantiate the abstraction to obtain tradition al analyses, such as k-CFA and CPA, extended to JavaScript. Not content with the precision of this analysis over complex control effects, we extend our systematic approach with a new mode: unbounded abstraction of continuations. This new mode yields an infinite-state yet decidable pushdown machine whose stack precisely models the structure of the concrete program stack. The precise model of stack structure in turn confers precise control-flow analysis over control effects, such as exceptions, finally blocks, and of course, cal ls and returns. Both the finite-state and pushdown frameworks for abstract interpretation are sound and computable." @default.
• W2183610061 created "2016-06-24" @default.
• W2183610061 creator A5086121459 @default.
• W2183610061 creator A5091183810 @default.
• W2183610061 date "2011-01-01" @default.
• W2183610061 modified "2023-10-10" @default.
• W2183610061 title "An Analytic Framework for JavaScript" @default.
• W2183610061 cites W1518650316 @default.
• W2183610061 cites W1544629082 @default.
• W2183610061 cites W1558427762 @default.
• W2183610061 cites W1558552339 @default.
• W2183610061 cites W1589224558 @default.
• W2183610061 cites W1599217540 @default.
• W2183610061 cites W1839269954 @default.
• W2183610061 cites W1915934711 @default.
• W2183610061 cites W1971474578 @default.
• W2183610061 cites W1973120448 @default.
• W2183610061 cites W1999753800 @default.
• W2183610061 cites W2013885073 @default.
• W2183610061 cites W2014764321 @default.
• W2183610061 cites W2016696108 @default.
• W2183610061 cites W202191487 @default.
• W2183610061 cites W2022873112 @default.
• W2183610061 cites W2043100293 @default.
• W2183610061 cites W2054410248 @default.
• W2183610061 cites W2063198880 @default.
• W2183610061 cites W2064982280 @default.
• W2183610061 cites W2079752311 @default.
• W2183610061 cites W2083878525 @default.
• W2183610061 cites W2087359745 @default.
• W2183610061 cites W2093080079 @default.
• W2183610061 cites W2112836639 @default.
• W2183610061 cites W2116918412 @default.
• W2183610061 cites W2118431434 @default.
• W2183610061 cites W2127114597 @default.
• W2183610061 cites W2127172188 @default.
• W2183610061 cites W2135565307 @default.
• W2183610061 cites W2140430779 @default.
• W2183610061 cites W2141662609 @default.
• W2183610061 cites W2156249516 @default.
• W2183610061 cites W2160646753 @default.
• W2183610061 cites W2162671156 @default.
• W2183610061 cites W2163285555 @default.
• W2183610061 cites W2165304392 @default.
• W2183610061 cites W2770491639 @default.
• W2183610061 cites W398758961 @default.
• W2183610061 hasPublicationYear "2011" @default.
• W2183610061 type Work @default.
• W2183610061 sameAs 2183610061 @default.
• W2183610061 citedByCount "2" @default.
• W2183610061 countsByYear W21836100612013 @default.
• W2183610061 crossrefType "journal-article" @default.
• W2183610061 hasAuthorship W2183610061A5086121459 @default.
• W2183610061 hasAuthorship W2183610061A5091183810 @default.
• W2183610061 hasConcept C119024030 @default.
• W2183610061 hasConcept C160191386 @default.
• W2183610061 hasConcept C167822520 @default.
• W2183610061 hasConcept C184337299 @default.
• W2183610061 hasConcept C199360897 @default.
• W2183610061 hasConcept C204495577 @default.
• W2183610061 hasConcept C2780654840 @default.
• W2183610061 hasConcept C41008148 @default.
• W2183610061 hasConcept C544833334 @default.
• W2183610061 hasConcept C77944639 @default.
• W2183610061 hasConcept C80444323 @default.
• W2183610061 hasConcept C9395851 @default.
• W2183610061 hasConceptScore W2183610061C119024030 @default.
• W2183610061 hasConceptScore W2183610061C160191386 @default.
• W2183610061 hasConceptScore W2183610061C167822520 @default.
• W2183610061 hasConceptScore W2183610061C184337299 @default.
• W2183610061 hasConceptScore W2183610061C199360897 @default.
• W2183610061 hasConceptScore W2183610061C204495577 @default.
• W2183610061 hasConceptScore W2183610061C2780654840 @default.
• W2183610061 hasConceptScore W2183610061C41008148 @default.
• W2183610061 hasConceptScore W2183610061C544833334 @default.
• W2183610061 hasConceptScore W2183610061C77944639 @default.
• W2183610061 hasConceptScore W2183610061C80444323 @default.
• W2183610061 hasConceptScore W2183610061C9395851 @default.
• W2183610061 hasLocation W21836100611 @default.
• W2183610061 hasOpenAccess W2183610061 @default.
• W2183610061 hasPrimaryLocation W21836100611 @default.
• W2183610061 hasRelatedWork W1540754506 @default.
• W2183610061 hasRelatedWork W1593110137 @default.
• W2183610061 hasRelatedWork W1594482512 @default.
• W2183610061 hasRelatedWork W1597229564 @default.
• W2183610061 hasRelatedWork W1600173848 @default.
• W2183610061 hasRelatedWork W1605476801 @default.
• W2183610061 hasRelatedWork W1606560843 @default.
• W2183610061 hasRelatedWork W1836373119 @default.
• W2183610061 hasRelatedWork W1890875952 @default.
• W2183610061 hasRelatedWork W1968011359 @default.
• W2183610061 hasRelatedWork W1975014520 @default.
• W2183610061 hasRelatedWork W1980688815 @default.
• W2183610061 hasRelatedWork W2004728613 @default.
• W2183610061 hasRelatedWork W2076884915 @default.
• W2183610061 hasRelatedWork W2102389857 @default.
• W2183610061 hasRelatedWork W2951800949 @default.
• W2183610061 hasRelatedWork W3001554262 @default.
• W2183610061 hasRelatedWork W3005541213 @default.
• W2183610061 hasRelatedWork W3195945533 @default.

• next