Matches in SemOpenAlex for { <https://semopenalex.org/work/W1523648047> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1523648047 endingPage "73" @default.
- W1523648047 startingPage "62" @default.
- W1523648047 abstract "AbtractPure functional programming languages have been proposed as a vehicle to describe, simulate and manipulate circuit specifications. We propose an extension to Haskell to solve a standard problem when manipulating data types representing circuits in a lazy functional language. The problem is that circuits are finite graphs but viewing them as an algebraic (lazy) datatype makes them indistinguishable from potentially infinite regular trees. However, implementations of Haskell do indeed represent cyclic structures by graphs. The problem is that the sharing of nodes that creates such cycles is not observable by any function which traverses such a structure. In this paper we propose an extension to call-by-need languages which makes graph sharing observable. The extension is based on non updatable reference cells and an equality test (sharing detection) on this type. We show that this simple and practical extension has well-behaved semantic properties, which means that many typical source-to-source program transformations, such as might be performed by a compiler, are still valid in the presence of this extension." @default.
- W1523648047 created "2016-06-24" @default.
- W1523648047 creator A5058771102 @default.
- W1523648047 creator A5082447666 @default.
- W1523648047 date "1999-01-01" @default.
- W1523648047 modified "2023-10-16" @default.
- W1523648047 title "Observable Sharing for Functional Circuit Description" @default.
- W1523648047 cites W1815958522 @default.
- W1523648047 cites W1973030866 @default.
- W1523648047 cites W1976580128 @default.
- W1523648047 cites W2004843654 @default.
- W1523648047 cites W2026049208 @default.
- W1523648047 cites W2030663607 @default.
- W1523648047 cites W2035636826 @default.
- W1523648047 cites W2039112578 @default.
- W1523648047 cites W2048706733 @default.
- W1523648047 cites W2049600101 @default.
- W1523648047 cites W2049803057 @default.
- W1523648047 cites W2089579946 @default.
- W1523648047 cites W2103859677 @default.
- W1523648047 cites W2112731806 @default.
- W1523648047 cites W2151716725 @default.
- W1523648047 cites W2621168830 @default.
- W1523648047 cites W4229606316 @default.
- W1523648047 cites W4237097764 @default.
- W1523648047 doi "https://doi.org/10.1007/3-540-46674-6_7" @default.
- W1523648047 hasPublicationYear "1999" @default.
- W1523648047 type Work @default.
- W1523648047 sameAs 1523648047 @default.
- W1523648047 citedByCount "64" @default.
- W1523648047 countsByYear W15236480472012 @default.
- W1523648047 countsByYear W15236480472013 @default.
- W1523648047 countsByYear W15236480472014 @default.
- W1523648047 countsByYear W15236480472015 @default.
- W1523648047 countsByYear W15236480472016 @default.
- W1523648047 countsByYear W15236480472018 @default.
- W1523648047 countsByYear W15236480472019 @default.
- W1523648047 countsByYear W15236480472020 @default.
- W1523648047 countsByYear W15236480472021 @default.
- W1523648047 countsByYear W15236480472022 @default.
- W1523648047 countsByYear W15236480472023 @default.
- W1523648047 crossrefType "book-chapter" @default.
- W1523648047 hasAuthorship W1523648047A5058771102 @default.
- W1523648047 hasAuthorship W1523648047A5082447666 @default.
- W1523648047 hasConcept C11413529 @default.
- W1523648047 hasConcept C121332964 @default.
- W1523648047 hasConcept C132525143 @default.
- W1523648047 hasConcept C169590947 @default.
- W1523648047 hasConcept C199360897 @default.
- W1523648047 hasConcept C2778029271 @default.
- W1523648047 hasConcept C2780624054 @default.
- W1523648047 hasConcept C32848918 @default.
- W1523648047 hasConcept C41008148 @default.
- W1523648047 hasConcept C42383842 @default.
- W1523648047 hasConcept C62520636 @default.
- W1523648047 hasConcept C7051814 @default.
- W1523648047 hasConcept C80444323 @default.
- W1523648047 hasConceptScore W1523648047C11413529 @default.
- W1523648047 hasConceptScore W1523648047C121332964 @default.
- W1523648047 hasConceptScore W1523648047C132525143 @default.
- W1523648047 hasConceptScore W1523648047C169590947 @default.
- W1523648047 hasConceptScore W1523648047C199360897 @default.
- W1523648047 hasConceptScore W1523648047C2778029271 @default.
- W1523648047 hasConceptScore W1523648047C2780624054 @default.
- W1523648047 hasConceptScore W1523648047C32848918 @default.
- W1523648047 hasConceptScore W1523648047C41008148 @default.
- W1523648047 hasConceptScore W1523648047C42383842 @default.
- W1523648047 hasConceptScore W1523648047C62520636 @default.
- W1523648047 hasConceptScore W1523648047C7051814 @default.
- W1523648047 hasConceptScore W1523648047C80444323 @default.
- W1523648047 hasLocation W15236480471 @default.
- W1523648047 hasOpenAccess W1523648047 @default.
- W1523648047 hasPrimaryLocation W15236480471 @default.
- W1523648047 hasRelatedWork W1583431014 @default.
- W1523648047 hasRelatedWork W1757338326 @default.
- W1523648047 hasRelatedWork W2031442766 @default.
- W1523648047 hasRelatedWork W2088006200 @default.
- W1523648047 hasRelatedWork W2098374496 @default.
- W1523648047 hasRelatedWork W2129129872 @default.
- W1523648047 hasRelatedWork W2188150252 @default.
- W1523648047 hasRelatedWork W2192862863 @default.
- W1523648047 hasRelatedWork W4246781209 @default.
- W1523648047 hasRelatedWork W4294844959 @default.
- W1523648047 isParatext "false" @default.
- W1523648047 isRetracted "false" @default.
- W1523648047 magId "1523648047" @default.
- W1523648047 workType "book-chapter" @default.