Matches in SemOpenAlex for { <https://semopenalex.org/work/W3022635089> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3022635089 endingPage "46" @default.
- W3022635089 startingPage "35" @default.
- W3022635089 abstract "We prove that the Call Arity analysis and transformation, as implemented in the Haskell compiler GHC, is safe, i.e. does not impede the performance of the program. We formalized syntax, semantics, the analysis and the transformation in the interactive theorem prover Isabelle to obtain a machine-checked proof and hence a level of rigor rarely obtained for compiler optimization safety theorems. The proof is modular and introduces trace trees as a suitable abstraction in abstract cardinality analyses. We discuss the breadth of the formalization gap." @default.
- W3022635089 created "2020-05-13" @default.
- W3022635089 creator A5037386022 @default.
- W3022635089 date "2015-08-30" @default.
- W3022635089 modified "2023-10-17" @default.
- W3022635089 title "Formally proving a compiler transformation safe" @default.
- W3022635089 cites W1521087854 @default.
- W3022635089 cites W2004843654 @default.
- W3022635089 cites W2006731094 @default.
- W3022635089 cites W2016408482 @default.
- W3022635089 cites W2035636826 @default.
- W3022635089 cites W2038401271 @default.
- W3022635089 cites W2054386188 @default.
- W3022635089 cites W2061969020 @default.
- W3022635089 cites W2088030260 @default.
- W3022635089 cites W2091345373 @default.
- W3022635089 cites W2103859677 @default.
- W3022635089 cites W2131802241 @default.
- W3022635089 cites W2167433695 @default.
- W3022635089 cites W2914870158 @default.
- W3022635089 cites W4250846042 @default.
- W3022635089 doi "https://doi.org/10.1145/2887747.2804312" @default.
- W3022635089 hasPublicationYear "2015" @default.
- W3022635089 type Work @default.
- W3022635089 sameAs 3022635089 @default.
- W3022635089 citedByCount "0" @default.
- W3022635089 crossrefType "journal-article" @default.
- W3022635089 hasAuthorship W3022635089A5037386022 @default.
- W3022635089 hasConcept C104317684 @default.
- W3022635089 hasConcept C108710211 @default.
- W3022635089 hasConcept C138885662 @default.
- W3022635089 hasConcept C159718280 @default.
- W3022635089 hasConcept C169590947 @default.
- W3022635089 hasConcept C185592680 @default.
- W3022635089 hasConcept C186644900 @default.
- W3022635089 hasConcept C190902152 @default.
- W3022635089 hasConcept C199360897 @default.
- W3022635089 hasConcept C204241405 @default.
- W3022635089 hasConcept C206880738 @default.
- W3022635089 hasConcept C2524010 @default.
- W3022635089 hasConcept C2778361913 @default.
- W3022635089 hasConcept C2780624054 @default.
- W3022635089 hasConcept C33923547 @default.
- W3022635089 hasConcept C41008148 @default.
- W3022635089 hasConcept C41895202 @default.
- W3022635089 hasConcept C42383842 @default.
- W3022635089 hasConcept C55493867 @default.
- W3022635089 hasConcept C58646249 @default.
- W3022635089 hasConcept C68366613 @default.
- W3022635089 hasConcept C75291252 @default.
- W3022635089 hasConcept C80444323 @default.
- W3022635089 hasConceptScore W3022635089C104317684 @default.
- W3022635089 hasConceptScore W3022635089C108710211 @default.
- W3022635089 hasConceptScore W3022635089C138885662 @default.
- W3022635089 hasConceptScore W3022635089C159718280 @default.
- W3022635089 hasConceptScore W3022635089C169590947 @default.
- W3022635089 hasConceptScore W3022635089C185592680 @default.
- W3022635089 hasConceptScore W3022635089C186644900 @default.
- W3022635089 hasConceptScore W3022635089C190902152 @default.
- W3022635089 hasConceptScore W3022635089C199360897 @default.
- W3022635089 hasConceptScore W3022635089C204241405 @default.
- W3022635089 hasConceptScore W3022635089C206880738 @default.
- W3022635089 hasConceptScore W3022635089C2524010 @default.
- W3022635089 hasConceptScore W3022635089C2778361913 @default.
- W3022635089 hasConceptScore W3022635089C2780624054 @default.
- W3022635089 hasConceptScore W3022635089C33923547 @default.
- W3022635089 hasConceptScore W3022635089C41008148 @default.
- W3022635089 hasConceptScore W3022635089C41895202 @default.
- W3022635089 hasConceptScore W3022635089C42383842 @default.
- W3022635089 hasConceptScore W3022635089C55493867 @default.
- W3022635089 hasConceptScore W3022635089C58646249 @default.
- W3022635089 hasConceptScore W3022635089C68366613 @default.
- W3022635089 hasConceptScore W3022635089C75291252 @default.
- W3022635089 hasConceptScore W3022635089C80444323 @default.
- W3022635089 hasIssue "12" @default.
- W3022635089 hasLocation W30226350891 @default.
- W3022635089 hasOpenAccess W3022635089 @default.
- W3022635089 hasPrimaryLocation W30226350891 @default.
- W3022635089 hasRelatedWork W135379672 @default.
- W3022635089 hasRelatedWork W1570124744 @default.
- W3022635089 hasRelatedWork W1782169904 @default.
- W3022635089 hasRelatedWork W2091813295 @default.
- W3022635089 hasRelatedWork W2159612723 @default.
- W3022635089 hasRelatedWork W2760941369 @default.
- W3022635089 hasRelatedWork W2803248237 @default.
- W3022635089 hasRelatedWork W3022635089 @default.
- W3022635089 hasRelatedWork W4250535452 @default.
- W3022635089 hasRelatedWork W4297749046 @default.
- W3022635089 hasVolume "50" @default.
- W3022635089 isParatext "false" @default.
- W3022635089 isRetracted "false" @default.
- W3022635089 magId "3022635089" @default.
- W3022635089 workType "article" @default.