FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1965996801> ?p ?o ?g. }

• W1965996801 abstract "The term “referential transparency” is frequently used to indicate that a programming language has certain useful substitution properties. We observe, however, that the formal and informal definitions given in the literature are not equivalent and we investigate their relationships. To this end, we study the definitions in the context of a simple expression language and show that in the presence of non-determinism, the differences between the definitions are manifest. We propose a definition of “referential transparency”, based on Quine's, as well as of the related notions: definiteness and unfoldability. We demonstrate that these notions are useful to characterize programming languages." @default.
• W1965996801 created "2016-06-24" @default.
• W1965996801 creator A5059287399 @default.
• W1965996801 creator A5090766093 @default.
• W1965996801 date "1990-05-01" @default.
• W1965996801 modified "2023-09-23" @default.
• W1965996801 title "Referential transparency, definiteness and unfoldability" @default.
• W1965996801 cites W1495866895 @default.
• W1965996801 cites W1496843828 @default.
• W1965996801 cites W1535886478 @default.
• W1965996801 cites W1546657258 @default.
• W1965996801 cites W1602028627 @default.
• W1965996801 cites W1980491396 @default.
• W1965996801 cites W2065927961 @default.
• W1965996801 cites W2067005178 @default.
• W1965996801 cites W2080153332 @default.
• W1965996801 cites W2089674328 @default.
• W1965996801 cites W2160745555 @default.
• W1965996801 cites W2798525073 @default.
• W1965996801 cites W2977904728 @default.
• W1965996801 doi "https://doi.org/10.1007/bf00277387" @default.
• W1965996801 hasPublicationYear "1990" @default.
• W1965996801 type Work @default.
• W1965996801 sameAs 1965996801 @default.
• W1965996801 citedByCount "55" @default.
• W1965996801 countsByYear W19659968012012 @default.
• W1965996801 countsByYear W19659968012013 @default.
• W1965996801 countsByYear W19659968012014 @default.
• W1965996801 countsByYear W19659968012015 @default.
• W1965996801 countsByYear W19659968012017 @default.
• W1965996801 countsByYear W19659968012018 @default.
• W1965996801 countsByYear W19659968012019 @default.
• W1965996801 countsByYear W19659968012020 @default.
• W1965996801 countsByYear W19659968012021 @default.
• W1965996801 countsByYear W19659968012022 @default.
• W1965996801 crossrefType "journal-article" @default.
• W1965996801 hasAuthorship W1965996801A5059287399 @default.
• W1965996801 hasAuthorship W1965996801A5090766093 @default.
• W1965996801 hasBestOaLocation W19659968012 @default.
• W1965996801 hasConcept C111472728 @default.
• W1965996801 hasConcept C121332964 @default.
• W1965996801 hasConcept C123556308 @default.
• W1965996801 hasConcept C138885662 @default.
• W1965996801 hasConcept C151730666 @default.
• W1965996801 hasConcept C182744844 @default.
• W1965996801 hasConcept C192183473 @default.
• W1965996801 hasConcept C199360897 @default.
• W1965996801 hasConcept C24858836 @default.
• W1965996801 hasConcept C2779056149 @default.
• W1965996801 hasConcept C2779343474 @default.
• W1965996801 hasConcept C2780233690 @default.
• W1965996801 hasConcept C2780586882 @default.
• W1965996801 hasConcept C38652104 @default.
• W1965996801 hasConcept C41008148 @default.
• W1965996801 hasConcept C41895202 @default.
• W1965996801 hasConcept C61797465 @default.
• W1965996801 hasConcept C62520636 @default.
• W1965996801 hasConcept C80444323 @default.
• W1965996801 hasConcept C86803240 @default.
• W1965996801 hasConcept C9270016 @default.
• W1965996801 hasConceptScore W1965996801C111472728 @default.
• W1965996801 hasConceptScore W1965996801C121332964 @default.
• W1965996801 hasConceptScore W1965996801C123556308 @default.
• W1965996801 hasConceptScore W1965996801C138885662 @default.
• W1965996801 hasConceptScore W1965996801C151730666 @default.
• W1965996801 hasConceptScore W1965996801C182744844 @default.
• W1965996801 hasConceptScore W1965996801C192183473 @default.
• W1965996801 hasConceptScore W1965996801C199360897 @default.
• W1965996801 hasConceptScore W1965996801C24858836 @default.
• W1965996801 hasConceptScore W1965996801C2779056149 @default.
• W1965996801 hasConceptScore W1965996801C2779343474 @default.
• W1965996801 hasConceptScore W1965996801C2780233690 @default.
• W1965996801 hasConceptScore W1965996801C2780586882 @default.
• W1965996801 hasConceptScore W1965996801C38652104 @default.
• W1965996801 hasConceptScore W1965996801C41008148 @default.
• W1965996801 hasConceptScore W1965996801C41895202 @default.
• W1965996801 hasConceptScore W1965996801C61797465 @default.
• W1965996801 hasConceptScore W1965996801C62520636 @default.
• W1965996801 hasConceptScore W1965996801C80444323 @default.
• W1965996801 hasConceptScore W1965996801C86803240 @default.
• W1965996801 hasConceptScore W1965996801C9270016 @default.
• W1965996801 hasIssue "6" @default.
• W1965996801 hasLocation W19659968011 @default.
• W1965996801 hasLocation W19659968012 @default.
• W1965996801 hasOpenAccess W1965996801 @default.
• W1965996801 hasPrimaryLocation W19659968011 @default.
• W1965996801 hasRelatedWork W140372864 @default.
• W1965996801 hasRelatedWork W1894078936 @default.
• W1965996801 hasRelatedWork W1965996801 @default.
• W1965996801 hasRelatedWork W2130495595 @default.
• W1965996801 hasRelatedWork W2155737137 @default.
• W1965996801 hasRelatedWork W2617661921 @default.
• W1965996801 hasRelatedWork W2791301154 @default.
• W1965996801 hasRelatedWork W3106858860 @default.
• W1965996801 hasRelatedWork W3163387299 @default.
• W1965996801 hasRelatedWork W3209062011 @default.
• W1965996801 hasVolume "27" @default.
• W1965996801 isParatext "false" @default.
• W1965996801 isRetracted "false" @default.
• W1965996801 magId "1965996801" @default.

• next