Matches in SemOpenAlex for { <https://semopenalex.org/work/W2153842012> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2153842012 endingPage "63" @default.
- W2153842012 startingPage "39" @default.
- W2153842012 abstract "The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support program comprehension and debugging. The trace was named the augmented redex trail. Its structure was inspired by standard graph rewriting implementations of functional languages. Here we describe a model of the trace that captures its essential properties and allows formal reasoning. The trace is a graph constructed by graph rewriting but goes beyond simple term graphs. Although the trace is a graph whose structure is independent of any rewriting strategy, we define the trace inductively, thus giving us a powerful method for proving its properties." @default.
- W2153842012 created "2016-06-24" @default.
- W2153842012 creator A5007234372 @default.
- W2153842012 creator A5018345365 @default.
- W2153842012 date "2007-05-01" @default.
- W2153842012 modified "2023-10-18" @default.
- W2153842012 title "Structure and Properties of Traces for Functional Programs" @default.
- W2153842012 cites W1593962268 @default.
- W2153842012 cites W2008317913 @default.
- W2153842012 cites W2095621310 @default.
- W2153842012 doi "https://doi.org/10.1016/j.entcs.2006.10.032" @default.
- W2153842012 hasPublicationYear "2007" @default.
- W2153842012 type Work @default.
- W2153842012 sameAs 2153842012 @default.
- W2153842012 citedByCount "14" @default.
- W2153842012 countsByYear W21538420122012 @default.
- W2153842012 countsByYear W21538420122013 @default.
- W2153842012 countsByYear W21538420122015 @default.
- W2153842012 countsByYear W21538420122016 @default.
- W2153842012 countsByYear W21538420122019 @default.
- W2153842012 countsByYear W21538420122021 @default.
- W2153842012 crossrefType "journal-article" @default.
- W2153842012 hasAuthorship W2153842012A5007234372 @default.
- W2153842012 hasAuthorship W2153842012A5018345365 @default.
- W2153842012 hasBestOaLocation W21538420121 @default.
- W2153842012 hasConcept C132525143 @default.
- W2153842012 hasConcept C138885662 @default.
- W2153842012 hasConcept C154690210 @default.
- W2153842012 hasConcept C168065819 @default.
- W2153842012 hasConcept C199360897 @default.
- W2153842012 hasConcept C26713055 @default.
- W2153842012 hasConcept C2780624054 @default.
- W2153842012 hasConcept C41008148 @default.
- W2153842012 hasConcept C41895202 @default.
- W2153842012 hasConcept C42383842 @default.
- W2153842012 hasConcept C558772884 @default.
- W2153842012 hasConcept C75291252 @default.
- W2153842012 hasConcept C80444323 @default.
- W2153842012 hasConceptScore W2153842012C132525143 @default.
- W2153842012 hasConceptScore W2153842012C138885662 @default.
- W2153842012 hasConceptScore W2153842012C154690210 @default.
- W2153842012 hasConceptScore W2153842012C168065819 @default.
- W2153842012 hasConceptScore W2153842012C199360897 @default.
- W2153842012 hasConceptScore W2153842012C26713055 @default.
- W2153842012 hasConceptScore W2153842012C2780624054 @default.
- W2153842012 hasConceptScore W2153842012C41008148 @default.
- W2153842012 hasConceptScore W2153842012C41895202 @default.
- W2153842012 hasConceptScore W2153842012C42383842 @default.
- W2153842012 hasConceptScore W2153842012C558772884 @default.
- W2153842012 hasConceptScore W2153842012C75291252 @default.
- W2153842012 hasConceptScore W2153842012C80444323 @default.
- W2153842012 hasIssue "1" @default.
- W2153842012 hasLocation W21538420121 @default.
- W2153842012 hasLocation W21538420122 @default.
- W2153842012 hasLocation W21538420123 @default.
- W2153842012 hasOpenAccess W2153842012 @default.
- W2153842012 hasPrimaryLocation W21538420121 @default.
- W2153842012 hasRelatedWork W1587224678 @default.
- W2153842012 hasRelatedWork W1601811574 @default.
- W2153842012 hasRelatedWork W1818509088 @default.
- W2153842012 hasRelatedWork W2100572643 @default.
- W2153842012 hasRelatedWork W2115737686 @default.
- W2153842012 hasRelatedWork W2153842012 @default.
- W2153842012 hasRelatedWork W2168393711 @default.
- W2153842012 hasRelatedWork W2609291677 @default.
- W2153842012 hasRelatedWork W2182138143 @default.
- W2153842012 hasRelatedWork W2787105657 @default.
- W2153842012 hasVolume "176" @default.
- W2153842012 isParatext "false" @default.
- W2153842012 isRetracted "false" @default.
- W2153842012 magId "2153842012" @default.
- W2153842012 workType "article" @default.