Matches in SemOpenAlex for { <https://semopenalex.org/work/W1969808647> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1969808647 abstract "We present an analysis for identifying determinate variables and expressions that always have the same value at a given program point. This information can be exploited by client analyses and tools to, e.g., identify dead code or specialize uses of dynamic language constructs such as eval, replacing them with equivalent static constructs. Our analysis is completely dynamic and only needs to observe a single execution of the program, yet the determinacy facts it infers hold for any execution. We present a formal soundness proof of the analysis for a simple imperative language, and a prototype implementation that handles full JavaScript. Finally, we report on two case studies that explored how static analysis for JavaScript could leverage the information gathered by dynamic determinacy analysis. We found that in some cases scalability of static pointer analysis was improved dramatically, and that many uses of runtime code generation could be eliminated." @default.
- W1969808647 created "2016-06-24" @default.
- W1969808647 creator A5012855077 @default.
- W1969808647 creator A5038828346 @default.
- W1969808647 creator A5080291195 @default.
- W1969808647 creator A5087594876 @default.
- W1969808647 date "2013-06-16" @default.
- W1969808647 modified "2023-10-17" @default.
- W1969808647 title "Dynamic determinacy analysis" @default.
- W1969808647 cites W148369031 @default.
- W1969808647 cites W1564221381 @default.
- W1969808647 cites W1839269954 @default.
- W1969808647 cites W1982866418 @default.
- W1969808647 cites W1999753800 @default.
- W1969808647 cites W202191487 @default.
- W1969808647 cites W2028175476 @default.
- W1969808647 cites W2055931054 @default.
- W1969808647 cites W2066195326 @default.
- W1969808647 cites W2090924529 @default.
- W1969808647 cites W2101512909 @default.
- W1969808647 cites W2128457714 @default.
- W1969808647 cites W2128835824 @default.
- W1969808647 cites W2134741696 @default.
- W1969808647 cites W2135643026 @default.
- W1969808647 cites W2165304392 @default.
- W1969808647 cites W2167363133 @default.
- W1969808647 cites W4206358530 @default.
- W1969808647 cites W4234265897 @default.
- W1969808647 cites W4234313833 @default.
- W1969808647 cites W4244831445 @default.
- W1969808647 cites W4249990212 @default.
- W1969808647 cites W4250199140 @default.
- W1969808647 doi "https://doi.org/10.1145/2491956.2462168" @default.
- W1969808647 hasPublicationYear "2013" @default.
- W1969808647 type Work @default.
- W1969808647 sameAs 1969808647 @default.
- W1969808647 citedByCount "55" @default.
- W1969808647 countsByYear W19698086472014 @default.
- W1969808647 countsByYear W19698086472015 @default.
- W1969808647 countsByYear W19698086472016 @default.
- W1969808647 countsByYear W19698086472017 @default.
- W1969808647 countsByYear W19698086472018 @default.
- W1969808647 countsByYear W19698086472019 @default.
- W1969808647 countsByYear W19698086472020 @default.
- W1969808647 countsByYear W19698086472021 @default.
- W1969808647 crossrefType "proceedings-article" @default.
- W1969808647 hasAuthorship W1969808647A5012855077 @default.
- W1969808647 hasAuthorship W1969808647A5038828346 @default.
- W1969808647 hasAuthorship W1969808647A5080291195 @default.
- W1969808647 hasAuthorship W1969808647A5087594876 @default.
- W1969808647 hasConcept C111919701 @default.
- W1969808647 hasConcept C134306372 @default.
- W1969808647 hasConcept C153083717 @default.
- W1969808647 hasConcept C154945302 @default.
- W1969808647 hasConcept C199360897 @default.
- W1969808647 hasConcept C33923547 @default.
- W1969808647 hasConcept C39920170 @default.
- W1969808647 hasConcept C41008148 @default.
- W1969808647 hasConcept C42383842 @default.
- W1969808647 hasConcept C48044578 @default.
- W1969808647 hasConcept C544833334 @default.
- W1969808647 hasConcept C58468513 @default.
- W1969808647 hasConcept C80444323 @default.
- W1969808647 hasConcept C97686452 @default.
- W1969808647 hasConcept C98183937 @default.
- W1969808647 hasConceptScore W1969808647C111919701 @default.
- W1969808647 hasConceptScore W1969808647C134306372 @default.
- W1969808647 hasConceptScore W1969808647C153083717 @default.
- W1969808647 hasConceptScore W1969808647C154945302 @default.
- W1969808647 hasConceptScore W1969808647C199360897 @default.
- W1969808647 hasConceptScore W1969808647C33923547 @default.
- W1969808647 hasConceptScore W1969808647C39920170 @default.
- W1969808647 hasConceptScore W1969808647C41008148 @default.
- W1969808647 hasConceptScore W1969808647C42383842 @default.
- W1969808647 hasConceptScore W1969808647C48044578 @default.
- W1969808647 hasConceptScore W1969808647C544833334 @default.
- W1969808647 hasConceptScore W1969808647C58468513 @default.
- W1969808647 hasConceptScore W1969808647C80444323 @default.
- W1969808647 hasConceptScore W1969808647C97686452 @default.
- W1969808647 hasConceptScore W1969808647C98183937 @default.
- W1969808647 hasLocation W19698086471 @default.
- W1969808647 hasOpenAccess W1969808647 @default.
- W1969808647 hasPrimaryLocation W19698086471 @default.
- W1969808647 hasRelatedWork W1549758350 @default.
- W1969808647 hasRelatedWork W1600567011 @default.
- W1969808647 hasRelatedWork W1964066969 @default.
- W1969808647 hasRelatedWork W1969808647 @default.
- W1969808647 hasRelatedWork W2247217208 @default.
- W1969808647 hasRelatedWork W2282745946 @default.
- W1969808647 hasRelatedWork W2290206096 @default.
- W1969808647 hasRelatedWork W2524310722 @default.
- W1969808647 hasRelatedWork W3004099993 @default.
- W1969808647 hasRelatedWork W3161280170 @default.
- W1969808647 isParatext "false" @default.
- W1969808647 isRetracted "false" @default.
- W1969808647 magId "1969808647" @default.
- W1969808647 workType "article" @default.