Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000196688> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2000196688 endingPage "108" @default.
- W2000196688 startingPage "69" @default.
- W2000196688 abstract "A calculus and a model for a first-order functional language with sharing is presented. In most implementations of functional languages, argument subexpressions in a function application are shared to avoid their repeated evaluation. Recursive functions are typically implemented using graphs with cycles. Compilers for these languages sometimes employ non-left-linear and left-cyclic rules for optimizations. A graph rewriting system (GRS) to address these concerns is developed. It is shown that a GRS without interfering rules is confluent. Along the lines of Lévy's term model for the λ-calculus, a semantics of such a GRS is also presented. An application of the term model to compiler optimizations is discussed." @default.
- W2000196688 created "2016-06-24" @default.
- W2000196688 creator A5060692552 @default.
- W2000196688 creator A5064696313 @default.
- W2000196688 date "1995-07-01" @default.
- W2000196688 modified "2023-10-17" @default.
- W2000196688 title "Properties of a first-order functional language with sharing" @default.
- W2000196688 cites W1484864509 @default.
- W2000196688 cites W1555781855 @default.
- W2000196688 cites W1557257356 @default.
- W2000196688 cites W1557619244 @default.
- W2000196688 cites W1569966513 @default.
- W2000196688 cites W1817143187 @default.
- W2000196688 cites W1918523847 @default.
- W2000196688 cites W1980647766 @default.
- W2000196688 cites W2079034794 @default.
- W2000196688 cites W2097509104 @default.
- W2000196688 cites W2103435919 @default.
- W2000196688 cites W2118172707 @default.
- W2000196688 cites W2136920408 @default.
- W2000196688 cites W2154273644 @default.
- W2000196688 cites W2160815344 @default.
- W2000196688 cites W2166184800 @default.
- W2000196688 doi "https://doi.org/10.1016/0304-3975(94)00185-l" @default.
- W2000196688 hasPublicationYear "1995" @default.
- W2000196688 type Work @default.
- W2000196688 sameAs 2000196688 @default.
- W2000196688 citedByCount "25" @default.
- W2000196688 countsByYear W20001966882012 @default.
- W2000196688 countsByYear W20001966882013 @default.
- W2000196688 crossrefType "journal-article" @default.
- W2000196688 hasAuthorship W2000196688A5060692552 @default.
- W2000196688 hasAuthorship W2000196688A5064696313 @default.
- W2000196688 hasBestOaLocation W20001966881 @default.
- W2000196688 hasConcept C11413529 @default.
- W2000196688 hasConcept C121332964 @default.
- W2000196688 hasConcept C135790938 @default.
- W2000196688 hasConcept C154690210 @default.
- W2000196688 hasConcept C169590947 @default.
- W2000196688 hasConcept C184337299 @default.
- W2000196688 hasConcept C185592680 @default.
- W2000196688 hasConcept C199360897 @default.
- W2000196688 hasConcept C26713055 @default.
- W2000196688 hasConcept C41008148 @default.
- W2000196688 hasConcept C42383842 @default.
- W2000196688 hasConcept C55493867 @default.
- W2000196688 hasConcept C61797465 @default.
- W2000196688 hasConcept C62520636 @default.
- W2000196688 hasConcept C80444323 @default.
- W2000196688 hasConcept C98184364 @default.
- W2000196688 hasConceptScore W2000196688C11413529 @default.
- W2000196688 hasConceptScore W2000196688C121332964 @default.
- W2000196688 hasConceptScore W2000196688C135790938 @default.
- W2000196688 hasConceptScore W2000196688C154690210 @default.
- W2000196688 hasConceptScore W2000196688C169590947 @default.
- W2000196688 hasConceptScore W2000196688C184337299 @default.
- W2000196688 hasConceptScore W2000196688C185592680 @default.
- W2000196688 hasConceptScore W2000196688C199360897 @default.
- W2000196688 hasConceptScore W2000196688C26713055 @default.
- W2000196688 hasConceptScore W2000196688C41008148 @default.
- W2000196688 hasConceptScore W2000196688C42383842 @default.
- W2000196688 hasConceptScore W2000196688C55493867 @default.
- W2000196688 hasConceptScore W2000196688C61797465 @default.
- W2000196688 hasConceptScore W2000196688C62520636 @default.
- W2000196688 hasConceptScore W2000196688C80444323 @default.
- W2000196688 hasConceptScore W2000196688C98184364 @default.
- W2000196688 hasIssue "1-2" @default.
- W2000196688 hasLocation W20001966881 @default.
- W2000196688 hasOpenAccess W2000196688 @default.
- W2000196688 hasPrimaryLocation W20001966881 @default.
- W2000196688 hasRelatedWork W1521275321 @default.
- W2000196688 hasRelatedWork W1566084073 @default.
- W2000196688 hasRelatedWork W1818509088 @default.
- W2000196688 hasRelatedWork W2021712311 @default.
- W2000196688 hasRelatedWork W2466581924 @default.
- W2000196688 hasRelatedWork W2752311799 @default.
- W2000196688 hasRelatedWork W2803248237 @default.
- W2000196688 hasRelatedWork W2934926890 @default.
- W2000196688 hasRelatedWork W4297749046 @default.
- W2000196688 hasRelatedWork W2787105657 @default.
- W2000196688 hasVolume "146" @default.
- W2000196688 isParatext "false" @default.
- W2000196688 isRetracted "false" @default.
- W2000196688 magId "2000196688" @default.
- W2000196688 workType "article" @default.