Matches in SemOpenAlex for { <https://semopenalex.org/work/W2911020557> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2911020557 abstract "Escape continuations are weaker than full, first-class continuations but nevertheless can express many common control operators. Although language and compiler designs profitably leverage escape continuations, all previous approaches to analyze them statically in a higher-order setting have been ad hoc or imprecise. We present (mathrm {MCCFA}2), a generalization of (mathrm {CFA}2) that analyzes them with pushdown precision in their most-general form. In particular, the summarization algorithm of (mathrm {MCCFA}2) is both sound and complete with respect to a conservative extension of (mathrm {CFA}2)’s abstract semantics. We also present an continuation age analysis as a client of (mathrm {MCCFA}2) that reveals critical function call optimizations." @default.
- W2911020557 created "2019-01-25" @default.
- W2911020557 creator A5026570501 @default.
- W2911020557 creator A5086121459 @default.
- W2911020557 date "2019-01-01" @default.
- W2911020557 modified "2023-09-27" @default.
- W2911020557 title "Relatively Complete Pushdown Analysis of Escape Continuations" @default.
- W2911020557 cites W1829885432 @default.
- W2911020557 cites W1966310384 @default.
- W2911020557 cites W1981830935 @default.
- W2911020557 cites W2013885073 @default.
- W2911020557 cites W2099107163 @default.
- W2911020557 cites W2102222848 @default.
- W2911020557 cites W2112836639 @default.
- W2911020557 cites W2114922959 @default.
- W2911020557 cites W2133020229 @default.
- W2911020557 cites W2144700864 @default.
- W2911020557 cites W2610242999 @default.
- W2911020557 cites W2912126004 @default.
- W2911020557 cites W2996287925 @default.
- W2911020557 cites W3101981126 @default.
- W2911020557 cites W4243661015 @default.
- W2911020557 cites W4253063713 @default.
- W2911020557 doi "https://doi.org/10.1007/978-3-030-11245-5_10" @default.
- W2911020557 hasPublicationYear "2019" @default.
- W2911020557 type Work @default.
- W2911020557 sameAs 2911020557 @default.
- W2911020557 citedByCount "0" @default.
- W2911020557 crossrefType "book-chapter" @default.
- W2911020557 hasAuthorship W2911020557A5026570501 @default.
- W2911020557 hasAuthorship W2911020557A5086121459 @default.
- W2911020557 hasConcept C154945302 @default.
- W2911020557 hasConcept C167822520 @default.
- W2911020557 hasConcept C169590947 @default.
- W2911020557 hasConcept C170858558 @default.
- W2911020557 hasConcept C199360897 @default.
- W2911020557 hasConcept C2778029271 @default.
- W2911020557 hasConcept C2780432614 @default.
- W2911020557 hasConcept C41008148 @default.
- W2911020557 hasConcept C77944639 @default.
- W2911020557 hasConcept C80444323 @default.
- W2911020557 hasConcept C88626702 @default.
- W2911020557 hasConceptScore W2911020557C154945302 @default.
- W2911020557 hasConceptScore W2911020557C167822520 @default.
- W2911020557 hasConceptScore W2911020557C169590947 @default.
- W2911020557 hasConceptScore W2911020557C170858558 @default.
- W2911020557 hasConceptScore W2911020557C199360897 @default.
- W2911020557 hasConceptScore W2911020557C2778029271 @default.
- W2911020557 hasConceptScore W2911020557C2780432614 @default.
- W2911020557 hasConceptScore W2911020557C41008148 @default.
- W2911020557 hasConceptScore W2911020557C77944639 @default.
- W2911020557 hasConceptScore W2911020557C80444323 @default.
- W2911020557 hasConceptScore W2911020557C88626702 @default.
- W2911020557 hasLocation W29110205571 @default.
- W2911020557 hasOpenAccess W2911020557 @default.
- W2911020557 hasPrimaryLocation W29110205571 @default.
- W2911020557 hasRelatedWork W1497580209 @default.
- W2911020557 hasRelatedWork W1504459879 @default.
- W2911020557 hasRelatedWork W1590652779 @default.
- W2911020557 hasRelatedWork W1969009115 @default.
- W2911020557 hasRelatedWork W1997897465 @default.
- W2911020557 hasRelatedWork W2001028799 @default.
- W2911020557 hasRelatedWork W2003411722 @default.
- W2911020557 hasRelatedWork W2080655045 @default.
- W2911020557 hasRelatedWork W2092351491 @default.
- W2911020557 hasRelatedWork W2105305530 @default.
- W2911020557 hasRelatedWork W2112955239 @default.
- W2911020557 hasRelatedWork W2133020229 @default.
- W2911020557 hasRelatedWork W2953874395 @default.
- W2911020557 hasRelatedWork W2954297171 @default.
- W2911020557 hasRelatedWork W3084390311 @default.
- W2911020557 hasRelatedWork W3156427813 @default.
- W2911020557 hasRelatedWork W46085146 @default.
- W2911020557 hasRelatedWork W749345259 @default.
- W2911020557 hasRelatedWork W2187499410 @default.
- W2911020557 hasRelatedWork W2744857873 @default.
- W2911020557 isParatext "false" @default.
- W2911020557 isRetracted "false" @default.
- W2911020557 magId "2911020557" @default.
- W2911020557 workType "book-chapter" @default.