Matches in SemOpenAlex for { <https://semopenalex.org/work/W2798270858> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2798270858 endingPage "112" @default.
- W2798270858 startingPage "98" @default.
- W2798270858 abstract "We explore space improvements in LRP, a polymorphically typed call-by-need functional core language. A relaxed space measure is chosen for the maximal size usage during an evaluation. It abstracts from the details of the implementation via abstract machines, but it takes garbage collection into account and thus can be seen as a realistic approximation of space usage. The results are: a context lemma for space improving translations and for space equivalences, all but one reduction rule of the calculus are shown to be space improvements, and for the exceptional one we show bounds on the space increase. Several further program transformations are shown to be space improvements or space equivalences in particular the translation into machine expressions is a space equivalence. We also classify certain space-worsening transformations as space-leaks or as space-safe. These results are a step forward in making predictions about the change in runtime space behavior of optimizing transformations in call-by-need functional languages." @default.
- W2798270858 created "2018-05-07" @default.
- W2798270858 creator A5016539119 @default.
- W2798270858 creator A5077274609 @default.
- W2798270858 date "2017-01-01" @default.
- W2798270858 modified "2023-10-16" @default.
- W2798270858 title "Space Improvements and Equivalences in a Functional Core Language." @default.
- W2798270858 hasPublicationYear "2017" @default.
- W2798270858 type Work @default.
- W2798270858 sameAs 2798270858 @default.
- W2798270858 citedByCount "0" @default.
- W2798270858 crossrefType "journal-article" @default.
- W2798270858 hasAuthorship W2798270858A5016539119 @default.
- W2798270858 hasAuthorship W2798270858A5077274609 @default.
- W2798270858 hasConcept C111919701 @default.
- W2798270858 hasConcept C118615104 @default.
- W2798270858 hasConcept C138885662 @default.
- W2798270858 hasConcept C151730666 @default.
- W2798270858 hasConcept C18903297 @default.
- W2798270858 hasConcept C199360897 @default.
- W2798270858 hasConcept C2164484 @default.
- W2798270858 hasConcept C2777759810 @default.
- W2798270858 hasConcept C2778572836 @default.
- W2798270858 hasConcept C2779343474 @default.
- W2798270858 hasConcept C2780069185 @default.
- W2798270858 hasConcept C2988012377 @default.
- W2798270858 hasConcept C33923547 @default.
- W2798270858 hasConcept C41008148 @default.
- W2798270858 hasConcept C41895202 @default.
- W2798270858 hasConcept C42383842 @default.
- W2798270858 hasConcept C46757340 @default.
- W2798270858 hasConcept C76155785 @default.
- W2798270858 hasConcept C80444323 @default.
- W2798270858 hasConcept C86803240 @default.
- W2798270858 hasConceptScore W2798270858C111919701 @default.
- W2798270858 hasConceptScore W2798270858C118615104 @default.
- W2798270858 hasConceptScore W2798270858C138885662 @default.
- W2798270858 hasConceptScore W2798270858C151730666 @default.
- W2798270858 hasConceptScore W2798270858C18903297 @default.
- W2798270858 hasConceptScore W2798270858C199360897 @default.
- W2798270858 hasConceptScore W2798270858C2164484 @default.
- W2798270858 hasConceptScore W2798270858C2777759810 @default.
- W2798270858 hasConceptScore W2798270858C2778572836 @default.
- W2798270858 hasConceptScore W2798270858C2779343474 @default.
- W2798270858 hasConceptScore W2798270858C2780069185 @default.
- W2798270858 hasConceptScore W2798270858C2988012377 @default.
- W2798270858 hasConceptScore W2798270858C33923547 @default.
- W2798270858 hasConceptScore W2798270858C41008148 @default.
- W2798270858 hasConceptScore W2798270858C41895202 @default.
- W2798270858 hasConceptScore W2798270858C42383842 @default.
- W2798270858 hasConceptScore W2798270858C46757340 @default.
- W2798270858 hasConceptScore W2798270858C76155785 @default.
- W2798270858 hasConceptScore W2798270858C80444323 @default.
- W2798270858 hasConceptScore W2798270858C86803240 @default.
- W2798270858 hasLocation W27982708581 @default.
- W2798270858 hasOpenAccess W2798270858 @default.
- W2798270858 hasPrimaryLocation W27982708581 @default.
- W2798270858 hasRelatedWork W13883159 @default.
- W2798270858 hasRelatedWork W1500472850 @default.
- W2798270858 hasRelatedWork W1528946883 @default.
- W2798270858 hasRelatedWork W1551287637 @default.
- W2798270858 hasRelatedWork W1815958522 @default.
- W2798270858 hasRelatedWork W1895164292 @default.
- W2798270858 hasRelatedWork W1994553690 @default.
- W2798270858 hasRelatedWork W2016408482 @default.
- W2798270858 hasRelatedWork W2089938751 @default.
- W2798270858 hasRelatedWork W2144379250 @default.
- W2798270858 hasRelatedWork W2183074746 @default.
- W2798270858 hasRelatedWork W2318743569 @default.
- W2798270858 hasRelatedWork W2539602596 @default.
- W2798270858 hasRelatedWork W2788380076 @default.
- W2798270858 hasRelatedWork W2804574205 @default.
- W2798270858 hasRelatedWork W2953268725 @default.
- W2798270858 hasRelatedWork W2953874395 @default.
- W2798270858 hasRelatedWork W612509057 @default.
- W2798270858 hasRelatedWork W92059193 @default.
- W2798270858 hasRelatedWork W2582119031 @default.
- W2798270858 isParatext "false" @default.
- W2798270858 isRetracted "false" @default.
- W2798270858 magId "2798270858" @default.
- W2798270858 workType "article" @default.