FRINK Linked Data Fragments server

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

• W2912642237 abstract "Compilers and programming environments use program analyses to determine the safety of code transformations. Often, these program analyses are too conservative. As a result, the compiler or programming environment will consider many transformations unsound. This affects aggressive or large-scale program transformations: As such transformations have complex requirements for their soundness, they are affected disproportionately. In practice, this causes almost any complex program analysis to be rejected. One reason for this conservativeness is that optimizations attempt to preserve the semantics of the program as defined by the programming language, even if those semantics were never intended by the programmer. This can be avoided if the user adds annotations to the program. Such annotations relax the semantics and cause program analyses to have better results. In turn, fewer code transformations will be rejected. However, specifying the intended semantics is tedious: First, programs are large. To fully annotate all parts, a programmer requires a lot of time. Second, there are many annotations a programmer could place. To fully annotate even a single line of a program, a programmer has to specify many properties. These issues force the programmer to place annotations that do not affect the intended transformations: A small subset of the intended semantics is sufficient to improve the results of most analyses. Specifying the entire intended semantics therefore is not practical. We present an approach that identifies the intended semantics of a program. Our system guides the user into specifying parts of the intended semantics that aid analyses results. With this guidance, a user can avoid specifying irrelevant parts of the intended semantics. This reduces the effort he needs to invest. We use our system to apply large-scale and aggressive optimizations. We call these algorithmic optimizations. Using a specification of the optimizations, our system determines why the optimizations fail. It identifies which failure causes are the most important ones and estimates the expected benefit gained from specifying the users intended semantics. Using this data as guidance, the user then can add specifications and subsequently apply the optimizations safely." @default.
• W2912642237 created "2019-02-21" @default.
• W2912642237 creator A5016276056 @default.
• W2912642237 creator A5059100099 @default.
• W2912642237 date "2007-01-01" @default.
• W2912642237 modified "2023-09-23" @default.
• W2912642237 title "Algorithmic optimizations" @default.
• W2912642237 hasPublicationYear "2007" @default.
• W2912642237 type Work @default.
• W2912642237 sameAs 2912642237 @default.
• W2912642237 citedByCount "0" @default.
• W2912642237 crossrefType "journal-article" @default.
• W2912642237 hasAuthorship W2912642237A5016276056 @default.
• W2912642237 hasAuthorship W2912642237A5059100099 @default.
• W2912642237 hasConcept C156325763 @default.
• W2912642237 hasConcept C169590947 @default.
• W2912642237 hasConcept C184337299 @default.
• W2912642237 hasConcept C199360897 @default.
• W2912642237 hasConcept C2778361913 @default.
• W2912642237 hasConcept C2778514511 @default.
• W2912642237 hasConcept C39920170 @default.
• W2912642237 hasConcept C41008148 @default.
• W2912642237 hasConceptScore W2912642237C156325763 @default.
• W2912642237 hasConceptScore W2912642237C169590947 @default.
• W2912642237 hasConceptScore W2912642237C184337299 @default.
• W2912642237 hasConceptScore W2912642237C199360897 @default.
• W2912642237 hasConceptScore W2912642237C2778361913 @default.
• W2912642237 hasConceptScore W2912642237C2778514511 @default.
• W2912642237 hasConceptScore W2912642237C39920170 @default.
• W2912642237 hasConceptScore W2912642237C41008148 @default.
• W2912642237 hasOpenAccess W2912642237 @default.
• W2912642237 hasRelatedWork W1553822363 @default.
• W2912642237 hasRelatedWork W1740092441 @default.
• W2912642237 hasRelatedWork W1779857600 @default.
• W2912642237 hasRelatedWork W1930820165 @default.
• W2912642237 hasRelatedWork W1998255963 @default.
• W2912642237 hasRelatedWork W2069417548 @default.
• W2912642237 hasRelatedWork W2147609113 @default.
• W2912642237 hasRelatedWork W2253366427 @default.
• W2912642237 hasRelatedWork W2548983280 @default.
• W2912642237 hasRelatedWork W2737089453 @default.
• W2912642237 hasRelatedWork W2738859397 @default.
• W2912642237 hasRelatedWork W2755110126 @default.
• W2912642237 hasRelatedWork W2769623079 @default.
• W2912642237 hasRelatedWork W2913479927 @default.
• W2912642237 hasRelatedWork W2914127544 @default.
• W2912642237 hasRelatedWork W2966569298 @default.
• W2912642237 hasRelatedWork W3082710588 @default.
• W2912642237 hasRelatedWork W71096408 @default.
• W2912642237 hasRelatedWork W951206141 @default.
• W2912642237 hasRelatedWork W2183816416 @default.
• W2912642237 isParatext "false" @default.
• W2912642237 isRetracted "false" @default.
• W2912642237 magId "2912642237" @default.
• W2912642237 workType "article" @default.