Matches in SemOpenAlex for { <https://semopenalex.org/work/W77320359> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W77320359 abstract "A long-standing practical challenge in the optimization of higher-order languages is inlining functions with free variables. Inlining code statically at a function call site is safe if the compiler can guarantee that the free variables have the same bindings at the inlining point as they do at the point where the function is bound as a closure (code and free variables). There have been many attempts to create a heuristic to check this correctness condition, from Shivers' kCFA-based reflow analysis to Might's Delta-CFA and anodization, but all of those have performance unsuitable for practical compiler implementations. In practice, modern language implementations rely on a series of tricks to capture some common cases (e.g., closures whose free variables are only top-level identifiers such as +) and rely on hand-inlining by the programmer for anything more complicated. This work provides the first practical, general approach for inlining functions with free variables. We also provide a proof of correctness, an evaluation of both the execution time and performance impact of this optimization, and some tips and tricks for implementing an efficient and precise control-flow analysis." @default.
- W77320359 created "2016-06-24" @default.
- W77320359 creator A5029478793 @default.
- W77320359 creator A5030967328 @default.
- W77320359 creator A5066547359 @default.
- W77320359 creator A5083767004 @default.
- W77320359 date "2013-06-08" @default.
- W77320359 modified "2023-09-27" @default.
- W77320359 title "Practical Inlining of Functions with Free Variables." @default.
- W77320359 cites W1519496539 @default.
- W77320359 cites W1553894716 @default.
- W77320359 cites W1584951182 @default.
- W77320359 cites W1651122320 @default.
- W77320359 cites W1876545334 @default.
- W77320359 cites W1986693746 @default.
- W77320359 cites W1999336811 @default.
- W77320359 cites W2004944457 @default.
- W77320359 cites W2008080405 @default.
- W77320359 cites W2016849154 @default.
- W77320359 cites W2046656770 @default.
- W77320359 cites W2062823821 @default.
- W77320359 cites W2080573945 @default.
- W77320359 cites W2099107163 @default.
- W77320359 cites W2104734478 @default.
- W77320359 cites W2107789243 @default.
- W77320359 cites W2110507526 @default.
- W77320359 cites W2118382442 @default.
- W77320359 cites W2123307082 @default.
- W77320359 cites W2128224544 @default.
- W77320359 cites W2141662609 @default.
- W77320359 cites W2153504150 @default.
- W77320359 cites W2159642793 @default.
- W77320359 hasPublicationYear "2013" @default.
- W77320359 type Work @default.
- W77320359 sameAs 77320359 @default.
- W77320359 citedByCount "0" @default.
- W77320359 crossrefType "posted-content" @default.
- W77320359 hasAuthorship W77320359A5029478793 @default.
- W77320359 hasAuthorship W77320359A5030967328 @default.
- W77320359 hasAuthorship W77320359A5066547359 @default.
- W77320359 hasAuthorship W77320359A5083767004 @default.
- W77320359 hasConcept C154504017 @default.
- W77320359 hasConcept C169590947 @default.
- W77320359 hasConcept C177264268 @default.
- W77320359 hasConcept C199360897 @default.
- W77320359 hasConcept C26713055 @default.
- W77320359 hasConcept C2776760102 @default.
- W77320359 hasConcept C2778514511 @default.
- W77320359 hasConcept C41008148 @default.
- W77320359 hasConcept C55439883 @default.
- W77320359 hasConceptScore W77320359C154504017 @default.
- W77320359 hasConceptScore W77320359C169590947 @default.
- W77320359 hasConceptScore W77320359C177264268 @default.
- W77320359 hasConceptScore W77320359C199360897 @default.
- W77320359 hasConceptScore W77320359C26713055 @default.
- W77320359 hasConceptScore W77320359C2776760102 @default.
- W77320359 hasConceptScore W77320359C2778514511 @default.
- W77320359 hasConceptScore W77320359C41008148 @default.
- W77320359 hasConceptScore W77320359C55439883 @default.
- W77320359 hasLocation W773203591 @default.
- W77320359 hasOpenAccess W77320359 @default.
- W77320359 hasPrimaryLocation W773203591 @default.
- W77320359 hasRelatedWork W1523051020 @default.
- W77320359 hasRelatedWork W155170228 @default.
- W77320359 hasRelatedWork W1566774227 @default.
- W77320359 hasRelatedWork W1593001461 @default.
- W77320359 hasRelatedWork W1992008963 @default.
- W77320359 hasRelatedWork W2016870819 @default.
- W77320359 hasRelatedWork W2072964972 @default.
- W77320359 hasRelatedWork W2104512898 @default.
- W77320359 hasRelatedWork W2127501412 @default.
- W77320359 hasRelatedWork W2152913781 @default.
- W77320359 hasRelatedWork W2153100729 @default.
- W77320359 hasRelatedWork W2161677541 @default.
- W77320359 hasRelatedWork W2187833028 @default.
- W77320359 hasRelatedWork W2564616195 @default.
- W77320359 hasRelatedWork W2734180996 @default.
- W77320359 hasRelatedWork W2899120827 @default.
- W77320359 hasRelatedWork W2951451030 @default.
- W77320359 hasRelatedWork W2991584600 @default.
- W77320359 hasRelatedWork W3133668920 @default.
- W77320359 hasRelatedWork W3193613247 @default.
- W77320359 isParatext "false" @default.
- W77320359 isRetracted "false" @default.
- W77320359 magId "77320359" @default.
- W77320359 workType "article" @default.