Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014359987> ?p ?o ?g. }
- W2014359987 endingPage "746" @default.
- W2014359987 startingPage "705" @default.
- W2014359987 abstract "Abstract We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines for higher-order and imperative programming languages. To demonstrate the technique and support our claim, we transform the CEK machine of Felleisen and Friedman ( Proc. of the 14th ACM SIGACT-SIGPLAN Symp. Prin. Program. Langs , 1987, pp. 314–325), a lazy variant of Krivine's machine ( Higher-Order Symb. Comput. Vol 20, 2007, pp. 199–207), and the stack-inspecting CM machine of Clements and Felleisen ( ACM Trans. Program. Lang. Syst. Vol 26, 2004, pp. 1029–1052) into abstract interpretations of themselves. The resulting analyses bound temporal ordering of program events; predict return-flow and stack-inspection behavior; and approximate the flow and evaluation of by-need parameters. For all of these machines, we find that a series of well-known concrete machine refactorings, plus a technique of store-allocated continuations, leads to machines that abstract into static analyses simply by bounding their stores. These machines are parameterized by allocation functions that tune performance and precision and substantially expand the space of analyses that this framework can represent. We demonstrate that the technique scales up uniformly to allow static analysis of realistic language features, including tail calls, conditionals, mutation, exceptions, first-class continuations, and even garbage collection. In order to close the gap between formalism and implementation, we provide translations of the mathematics as running Haskell code for the initial development of our method." @default.
- W2014359987 created "2016-06-24" @default.
- W2014359987 creator A5086121459 @default.
- W2014359987 creator A5091183810 @default.
- W2014359987 date "2012-08-15" @default.
- W2014359987 modified "2023-10-18" @default.
- W2014359987 title "Systematic abstraction of abstract machines" @default.
- W2014359987 cites W1553894716 @default.
- W2014359987 cites W1587849775 @default.
- W2014359987 cites W1589224558 @default.
- W2014359987 cites W1599217540 @default.
- W2014359987 cites W1779102629 @default.
- W2014359987 cites W1966776129 @default.
- W2014359987 cites W1986693746 @default.
- W2014359987 cites W2002829132 @default.
- W2014359987 cites W2003786919 @default.
- W2014359987 cites W2006990447 @default.
- W2014359987 cites W2013885073 @default.
- W2014359987 cites W2014764321 @default.
- W2014359987 cites W2038315427 @default.
- W2014359987 cites W2040871029 @default.
- W2014359987 cites W2043416466 @default.
- W2014359987 cites W2046656770 @default.
- W2014359987 cites W2047896115 @default.
- W2014359987 cites W2048802511 @default.
- W2014359987 cites W2057065238 @default.
- W2014359987 cites W2073569229 @default.
- W2014359987 cites W2073904768 @default.
- W2014359987 cites W2077255408 @default.
- W2014359987 cites W2093080079 @default.
- W2014359987 cites W2100962534 @default.
- W2014359987 cites W2110507526 @default.
- W2014359987 cites W2113757735 @default.
- W2014359987 cites W2116918412 @default.
- W2014359987 cites W2135565307 @default.
- W2014359987 cites W2160646753 @default.
- W2014359987 cites W2163285555 @default.
- W2014359987 cites W2163672449 @default.
- W2014359987 cites W2952100912 @default.
- W2014359987 doi "https://doi.org/10.1017/s0956796812000238" @default.
- W2014359987 hasPublicationYear "2012" @default.
- W2014359987 type Work @default.
- W2014359987 sameAs 2014359987 @default.
- W2014359987 citedByCount "15" @default.
- W2014359987 countsByYear W20143599872013 @default.
- W2014359987 countsByYear W20143599872014 @default.
- W2014359987 countsByYear W20143599872016 @default.
- W2014359987 countsByYear W20143599872017 @default.
- W2014359987 countsByYear W20143599872018 @default.
- W2014359987 countsByYear W20143599872019 @default.
- W2014359987 countsByYear W20143599872020 @default.
- W2014359987 crossrefType "journal-article" @default.
- W2014359987 hasAuthorship W2014359987A5086121459 @default.
- W2014359987 hasAuthorship W2014359987A5091183810 @default.
- W2014359987 hasBestOaLocation W20143599871 @default.
- W2014359987 hasConcept C105122174 @default.
- W2014359987 hasConcept C11413529 @default.
- W2014359987 hasConcept C115168132 @default.
- W2014359987 hasConcept C165464430 @default.
- W2014359987 hasConcept C169590947 @default.
- W2014359987 hasConcept C173608175 @default.
- W2014359987 hasConcept C197129107 @default.
- W2014359987 hasConcept C199360897 @default.
- W2014359987 hasConcept C2780624054 @default.
- W2014359987 hasConcept C2780654840 @default.
- W2014359987 hasConcept C41008148 @default.
- W2014359987 hasConcept C42383842 @default.
- W2014359987 hasConcept C75403996 @default.
- W2014359987 hasConcept C80444323 @default.
- W2014359987 hasConcept C88977235 @default.
- W2014359987 hasConceptScore W2014359987C105122174 @default.
- W2014359987 hasConceptScore W2014359987C11413529 @default.
- W2014359987 hasConceptScore W2014359987C115168132 @default.
- W2014359987 hasConceptScore W2014359987C165464430 @default.
- W2014359987 hasConceptScore W2014359987C169590947 @default.
- W2014359987 hasConceptScore W2014359987C173608175 @default.
- W2014359987 hasConceptScore W2014359987C197129107 @default.
- W2014359987 hasConceptScore W2014359987C199360897 @default.
- W2014359987 hasConceptScore W2014359987C2780624054 @default.
- W2014359987 hasConceptScore W2014359987C2780654840 @default.
- W2014359987 hasConceptScore W2014359987C41008148 @default.
- W2014359987 hasConceptScore W2014359987C42383842 @default.
- W2014359987 hasConceptScore W2014359987C75403996 @default.
- W2014359987 hasConceptScore W2014359987C80444323 @default.
- W2014359987 hasConceptScore W2014359987C88977235 @default.
- W2014359987 hasIssue "4-5" @default.
- W2014359987 hasLocation W20143599871 @default.
- W2014359987 hasLocation W20143599872 @default.
- W2014359987 hasLocation W20143599873 @default.
- W2014359987 hasOpenAccess W2014359987 @default.
- W2014359987 hasPrimaryLocation W20143599871 @default.
- W2014359987 hasRelatedWork W1523716807 @default.
- W2014359987 hasRelatedWork W1587224678 @default.
- W2014359987 hasRelatedWork W1601811574 @default.
- W2014359987 hasRelatedWork W1818509088 @default.
- W2014359987 hasRelatedWork W1967226206 @default.
- W2014359987 hasRelatedWork W1990527071 @default.
- W2014359987 hasRelatedWork W2014359987 @default.