Matches in SemOpenAlex for { <https://semopenalex.org/work/W1878045697> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1878045697 abstract "Debugging lazy functional programs poses serious challenges. In support of the stop, examine, and resume debugging style of imperative languages, some debugging tools abandon lazy evaluation. Other debuggers preserve laziness but present it in a way that may confuse programmers because the focus of evaluation jumps around in a seemingly random manner. In this paper, we introduce a supplemental tool, the algebraic program stepper. An algebraic stepper shows computation as a mathematical calculation. Algebraic stepping could be particularly useful for novice programmers or programmers new to lazy programming. Mathematically speaking, an algebraic stepper renders computation as the standard rewriting sequence of a lazy lambda-calculus. Our novel lazy semantics introduces lazy evaluation as a form of parallel program rewriting. It represents a compromise between Launchbury's store-based semantics and a simple, axiomatic description of lazy computation as sharing-via-parameters. Finally, we prove that the stepper's run-time machinery correctly reconstructs the standard rewriting sequence." @default.
- W1878045697 created "2016-06-24" @default.
- W1878045697 creator A5000905628 @default.
- W1878045697 creator A5037445662 @default.
- W1878045697 creator A5044510881 @default.
- W1878045697 creator A5069799821 @default.
- W1878045697 date "2011-08-23" @default.
- W1878045697 modified "2023-09-27" @default.
- W1878045697 title "Stepping Lazy Programs" @default.
- W1878045697 cites W1483817851 @default.
- W1878045697 cites W1490584728 @default.
- W1878045697 cites W1518650316 @default.
- W1878045697 cites W1525140360 @default.
- W1878045697 cites W1558109178 @default.
- W1878045697 cites W1570383166 @default.
- W1878045697 cites W1779102629 @default.
- W1878045697 cites W1986497413 @default.
- W1878045697 cites W1994350081 @default.
- W1878045697 cites W2004843654 @default.
- W1878045697 cites W2015077407 @default.
- W1878045697 cites W2029074074 @default.
- W1878045697 cites W2030663607 @default.
- W1878045697 cites W2038856365 @default.
- W1878045697 cites W2055052109 @default.
- W1878045697 cites W2062838731 @default.
- W1878045697 cites W2088735483 @default.
- W1878045697 cites W2089241138 @default.
- W1878045697 cites W2106411570 @default.
- W1878045697 cites W2112022010 @default.
- W1878045697 cites W2135037829 @default.
- W1878045697 cites W2138037343 @default.
- W1878045697 cites W2153842012 @default.
- W1878045697 cites W2154273644 @default.
- W1878045697 cites W2520344504 @default.
- W1878045697 hasPublicationYear "2011" @default.
- W1878045697 type Work @default.
- W1878045697 sameAs 1878045697 @default.
- W1878045697 citedByCount "0" @default.
- W1878045697 crossrefType "posted-content" @default.
- W1878045697 hasAuthorship W1878045697A5000905628 @default.
- W1878045697 hasAuthorship W1878045697A5037445662 @default.
- W1878045697 hasAuthorship W1878045697A5044510881 @default.
- W1878045697 hasAuthorship W1878045697A5069799821 @default.
- W1878045697 hasConcept C111472728 @default.
- W1878045697 hasConcept C128099668 @default.
- W1878045697 hasConcept C138885662 @default.
- W1878045697 hasConcept C154690210 @default.
- W1878045697 hasConcept C168065819 @default.
- W1878045697 hasConcept C184337299 @default.
- W1878045697 hasConcept C199360897 @default.
- W1878045697 hasConcept C2780586882 @default.
- W1878045697 hasConcept C41008148 @default.
- W1878045697 hasConcept C42383842 @default.
- W1878045697 hasConcept C45374587 @default.
- W1878045697 hasConceptScore W1878045697C111472728 @default.
- W1878045697 hasConceptScore W1878045697C128099668 @default.
- W1878045697 hasConceptScore W1878045697C138885662 @default.
- W1878045697 hasConceptScore W1878045697C154690210 @default.
- W1878045697 hasConceptScore W1878045697C168065819 @default.
- W1878045697 hasConceptScore W1878045697C184337299 @default.
- W1878045697 hasConceptScore W1878045697C199360897 @default.
- W1878045697 hasConceptScore W1878045697C2780586882 @default.
- W1878045697 hasConceptScore W1878045697C41008148 @default.
- W1878045697 hasConceptScore W1878045697C42383842 @default.
- W1878045697 hasConceptScore W1878045697C45374587 @default.
- W1878045697 hasLocation W18780456971 @default.
- W1878045697 hasOpenAccess W1878045697 @default.
- W1878045697 hasPrimaryLocation W18780456971 @default.
- W1878045697 hasRelatedWork W141984127 @default.
- W1878045697 hasRelatedWork W1518443405 @default.
- W1878045697 hasRelatedWork W1534285741 @default.
- W1878045697 hasRelatedWork W1536665227 @default.
- W1878045697 hasRelatedWork W1570383166 @default.
- W1878045697 hasRelatedWork W1671914757 @default.
- W1878045697 hasRelatedWork W180769835 @default.
- W1878045697 hasRelatedWork W1955339238 @default.
- W1878045697 hasRelatedWork W1970810328 @default.
- W1878045697 hasRelatedWork W1980881991 @default.
- W1878045697 hasRelatedWork W2010138991 @default.
- W1878045697 hasRelatedWork W2015077407 @default.
- W1878045697 hasRelatedWork W2027989394 @default.
- W1878045697 hasRelatedWork W2030284627 @default.
- W1878045697 hasRelatedWork W2038454634 @default.
- W1878045697 hasRelatedWork W2038634739 @default.
- W1878045697 hasRelatedWork W2059703978 @default.
- W1878045697 hasRelatedWork W2115737686 @default.
- W1878045697 hasRelatedWork W2138967626 @default.
- W1878045697 hasRelatedWork W2595907324 @default.
- W1878045697 isParatext "false" @default.
- W1878045697 isRetracted "false" @default.
- W1878045697 magId "1878045697" @default.
- W1878045697 workType "article" @default.