Matches in SemOpenAlex for { <https://semopenalex.org/work/W2788380076> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2788380076 endingPage "112" @default.
- W2788380076 startingPage "98" @default.
- W2788380076 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.
- W2788380076 created "2018-03-06" @default.
- W2788380076 creator A5016539119 @default.
- W2788380076 creator A5077274609 @default.
- W2788380076 date "2018-02-16" @default.
- W2788380076 modified "2023-09-27" @default.
- W2788380076 title "Space Improvements and Equivalences in a Functional Core Language" @default.
- W2788380076 cites W1467316755 @default.
- W2788380076 cites W2007378734 @default.
- W2788380076 cites W2016408482 @default.
- W2788380076 cites W2030663607 @default.
- W2788380076 cites W2035636826 @default.
- W2788380076 cites W2048706733 @default.
- W2788380076 cites W2054386188 @default.
- W2788380076 cites W2088030260 @default.
- W2788380076 cites W2103859677 @default.
- W2788380076 cites W2113016133 @default.
- W2788380076 cites W2130363716 @default.
- W2788380076 cites W2135359747 @default.
- W2788380076 cites W2244650903 @default.
- W2788380076 cites W2604772057 @default.
- W2788380076 cites W587099212 @default.
- W2788380076 doi "https://doi.org/10.4204/eptcs.265.8" @default.
- W2788380076 hasPublicationYear "2018" @default.
- W2788380076 type Work @default.
- W2788380076 sameAs 2788380076 @default.
- W2788380076 citedByCount "2" @default.
- W2788380076 countsByYear W27883800762018 @default.
- W2788380076 countsByYear W27883800762019 @default.
- W2788380076 crossrefType "journal-article" @default.
- W2788380076 hasAuthorship W2788380076A5016539119 @default.
- W2788380076 hasAuthorship W2788380076A5077274609 @default.
- W2788380076 hasBestOaLocation W27883800761 @default.
- W2788380076 hasConcept C111919701 @default.
- W2788380076 hasConcept C118615104 @default.
- W2788380076 hasConcept C134306372 @default.
- W2788380076 hasConcept C138885662 @default.
- W2788380076 hasConcept C151730666 @default.
- W2788380076 hasConcept C18903297 @default.
- W2788380076 hasConcept C2164484 @default.
- W2788380076 hasConcept C2776542497 @default.
- W2788380076 hasConcept C2777759810 @default.
- W2788380076 hasConcept C2778572836 @default.
- W2788380076 hasConcept C2779343474 @default.
- W2788380076 hasConcept C2780069185 @default.
- W2788380076 hasConcept C2988012377 @default.
- W2788380076 hasConcept C33923547 @default.
- W2788380076 hasConcept C41008148 @default.
- W2788380076 hasConcept C41895202 @default.
- W2788380076 hasConcept C42383842 @default.
- W2788380076 hasConcept C46757340 @default.
- W2788380076 hasConcept C76155785 @default.
- W2788380076 hasConcept C80444323 @default.
- W2788380076 hasConcept C86803240 @default.
- W2788380076 hasConceptScore W2788380076C111919701 @default.
- W2788380076 hasConceptScore W2788380076C118615104 @default.
- W2788380076 hasConceptScore W2788380076C134306372 @default.
- W2788380076 hasConceptScore W2788380076C138885662 @default.
- W2788380076 hasConceptScore W2788380076C151730666 @default.
- W2788380076 hasConceptScore W2788380076C18903297 @default.
- W2788380076 hasConceptScore W2788380076C2164484 @default.
- W2788380076 hasConceptScore W2788380076C2776542497 @default.
- W2788380076 hasConceptScore W2788380076C2777759810 @default.
- W2788380076 hasConceptScore W2788380076C2778572836 @default.
- W2788380076 hasConceptScore W2788380076C2779343474 @default.
- W2788380076 hasConceptScore W2788380076C2780069185 @default.
- W2788380076 hasConceptScore W2788380076C2988012377 @default.
- W2788380076 hasConceptScore W2788380076C33923547 @default.
- W2788380076 hasConceptScore W2788380076C41008148 @default.
- W2788380076 hasConceptScore W2788380076C41895202 @default.
- W2788380076 hasConceptScore W2788380076C42383842 @default.
- W2788380076 hasConceptScore W2788380076C46757340 @default.
- W2788380076 hasConceptScore W2788380076C76155785 @default.
- W2788380076 hasConceptScore W2788380076C80444323 @default.
- W2788380076 hasConceptScore W2788380076C86803240 @default.
- W2788380076 hasLocation W27883800761 @default.
- W2788380076 hasLocation W27883800762 @default.
- W2788380076 hasLocation W27883800763 @default.
- W2788380076 hasOpenAccess W2788380076 @default.
- W2788380076 hasPrimaryLocation W27883800761 @default.
- W2788380076 hasRelatedWork W1810718089 @default.
- W2788380076 hasRelatedWork W2010483477 @default.
- W2788380076 hasRelatedWork W2029026024 @default.
- W2788380076 hasRelatedWork W2087165885 @default.
- W2788380076 hasRelatedWork W2092794327 @default.
- W2788380076 hasRelatedWork W2112445562 @default.
- W2788380076 hasRelatedWork W2329424818 @default.
- W2788380076 hasRelatedWork W2972930899 @default.
- W2788380076 hasRelatedWork W3080950612 @default.
- W2788380076 hasRelatedWork W3118866054 @default.
- W2788380076 hasVolume "265" @default.
- W2788380076 isParatext "false" @default.
- W2788380076 isRetracted "false" @default.
- W2788380076 magId "2788380076" @default.
- W2788380076 workType "article" @default.