FRINK Linked Data Fragments server

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

• W1590652779 abstract "Pushdown analysis is better than finite-state analysis in pre- cision and performance. Why then have we not seen total widespread adoption of these techniques? For one, the known techniques are technically burdened and difficult to understand or extend. Control structure of the programming language gets pulled into the model of computation, which makes extensions to non-pushdown control structures, such as call/cc or shift and reset, non-trivial. We show a derivational approach to abstract interpretation that yields transparently sound static analyses that can precisely match calls and returns when applied to well-known abstract machines. We show that adding memoization and segmenting the continuation into bounded pieces leads to machines that abstract to static analyses for context-free reachability by simply bounding the stores. This technique allows us to derive existing, more technically involved analyses, and a novel pushdown analysis for delimited, composable control." @default.
• W1590652779 created "2016-06-24" @default.
• W1590652779 creator A5050160663 @default.
• W1590652779 creator A5091183810 @default.
• W1590652779 date "2013-05-14" @default.
• W1590652779 modified "2023-09-27" @default.
• W1590652779 title "Concrete Semantics for Pushdown Analysis: The Essence of Summarization" @default.
• W1590652779 cites W1518650316 @default.
• W1590652779 cites W1589224558 @default.
• W1590652779 cites W1915934711 @default.
• W1590652779 cites W1990810662 @default.
• W1590652779 cites W2007759294 @default.
• W1590652779 cites W2013885073 @default.
• W1590652779 cites W2014771515 @default.
• W1590652779 cites W2022114508 @default.
• W1590652779 cites W2080573945 @default.
• W1590652779 cites W2087359745 @default.
• W1590652779 cites W2110095615 @default.
• W1590652779 cites W2133263836 @default.
• W1590652779 cites W2151129888 @default.
• W1590652779 cites W2293168108 @default.
• W1590652779 cites W2912126004 @default.
• W1590652779 hasPublicationYear "2013" @default.
• W1590652779 type Work @default.
• W1590652779 sameAs 1590652779 @default.
• W1590652779 citedByCount "1" @default.
• W1590652779 countsByYear W15906527792013 @default.
• W1590652779 crossrefType "posted-content" @default.
• W1590652779 hasAuthorship W1590652779A5050160663 @default.
• W1590652779 hasAuthorship W1590652779A5091183810 @default.
• W1590652779 hasConcept C111919701 @default.
• W1590652779 hasConcept C11413529 @default.
• W1590652779 hasConcept C134083981 @default.
• W1590652779 hasConcept C136643341 @default.
• W1590652779 hasConcept C151730666 @default.
• W1590652779 hasConcept C154945302 @default.
• W1590652779 hasConcept C167822520 @default.
• W1590652779 hasConcept C170858558 @default.
• W1590652779 hasConcept C184337299 @default.
• W1590652779 hasConcept C186644900 @default.
• W1590652779 hasConcept C199360897 @default.
• W1590652779 hasConcept C27034413 @default.
• W1590652779 hasConcept C2777669093 @default.
• W1590652779 hasConcept C2779343474 @default.
• W1590652779 hasConcept C2780654840 @default.
• W1590652779 hasConcept C28034677 @default.
• W1590652779 hasConcept C41008148 @default.
• W1590652779 hasConcept C42560504 @default.
• W1590652779 hasConcept C63584917 @default.
• W1590652779 hasConcept C77944639 @default.
• W1590652779 hasConcept C79516417 @default.
• W1590652779 hasConcept C80444323 @default.
• W1590652779 hasConcept C86803240 @default.
• W1590652779 hasConcept C88626702 @default.
• W1590652779 hasConcept C97212296 @default.
• W1590652779 hasConceptScore W1590652779C111919701 @default.
• W1590652779 hasConceptScore W1590652779C11413529 @default.
• W1590652779 hasConceptScore W1590652779C134083981 @default.
• W1590652779 hasConceptScore W1590652779C136643341 @default.
• W1590652779 hasConceptScore W1590652779C151730666 @default.
• W1590652779 hasConceptScore W1590652779C154945302 @default.
• W1590652779 hasConceptScore W1590652779C167822520 @default.
• W1590652779 hasConceptScore W1590652779C170858558 @default.
• W1590652779 hasConceptScore W1590652779C184337299 @default.
• W1590652779 hasConceptScore W1590652779C186644900 @default.
• W1590652779 hasConceptScore W1590652779C199360897 @default.
• W1590652779 hasConceptScore W1590652779C27034413 @default.
• W1590652779 hasConceptScore W1590652779C2777669093 @default.
• W1590652779 hasConceptScore W1590652779C2779343474 @default.
• W1590652779 hasConceptScore W1590652779C2780654840 @default.
• W1590652779 hasConceptScore W1590652779C28034677 @default.
• W1590652779 hasConceptScore W1590652779C41008148 @default.
• W1590652779 hasConceptScore W1590652779C42560504 @default.
• W1590652779 hasConceptScore W1590652779C63584917 @default.
• W1590652779 hasConceptScore W1590652779C77944639 @default.
• W1590652779 hasConceptScore W1590652779C79516417 @default.
• W1590652779 hasConceptScore W1590652779C80444323 @default.
• W1590652779 hasConceptScore W1590652779C86803240 @default.
• W1590652779 hasConceptScore W1590652779C88626702 @default.
• W1590652779 hasConceptScore W1590652779C97212296 @default.
• W1590652779 hasLocation W15906527791 @default.
• W1590652779 hasOpenAccess W1590652779 @default.
• W1590652779 hasPrimaryLocation W15906527791 @default.
• W1590652779 hasRelatedWork W1504459879 @default.
• W1590652779 hasRelatedWork W1654585710 @default.
• W1590652779 hasRelatedWork W1745298 @default.
• W1590652779 hasRelatedWork W2020841721 @default.
• W1590652779 hasRelatedWork W2037474536 @default.
• W1590652779 hasRelatedWork W2105305530 @default.
• W1590652779 hasRelatedWork W2183074746 @default.
• W1590652779 hasRelatedWork W2184391749 @default.
• W1590652779 hasRelatedWork W2250988907 @default.
• W1590652779 hasRelatedWork W2553417806 @default.
• W1590652779 hasRelatedWork W2804574205 @default.
• W1590652779 hasRelatedWork W2911020557 @default.
• W1590652779 hasRelatedWork W2920885075 @default.
• W1590652779 hasRelatedWork W2951032721 @default.
• W1590652779 hasRelatedWork W2953874395 @default.
• W1590652779 hasRelatedWork W3008478993 @default.
• W1590652779 hasRelatedWork W3021668409 @default.

• next