Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q16881979> ?p ?o }
Showing triples 1 to 58 of
58
with 100 triples per page.
- Q16881979 subject Q7036022.
- Q16881979 abstract "Referential transparency and referential opacity are properties of parts of computer programs. An expression is said to be referentially transparent if it can be replaced with its value without changing the behavior of a program (in other words, yielding a program that has the same effects and output on the same input). The opposite term is referential opacity.With referential transparency, no distinction is made nor difference recognized between a reference to a thing and the corresponding thing itself. Without referential transparency, such difference can be easily made and utilized in programs.While in mathematics all function applications are referentially transparent, in programming this is not always the case. The importance of referential transparency is that it allows the programmer and the compiler to reason about program behavior as a rewrite system. This can help in proving correctness, simplifying an algorithm, assisting in modifying code without breaking it, or optimizing code by means of memoization, common subexpression elimination, lazy evaluation, or parallelization.Referential transparency is one of the principles of functional programming; only referentially transparent functions can be memoized (transformed into equivalent functions which cache results). Some programming languages provide means to guarantee referential transparency.Some functional programming languages enforce referential transparency for all functions.As referential transparency requires the same results for a given set of inputs at any point in time, a referentially transparent expression is therefore deterministic.".
- Q16881979 wikiPageExternalLink SondergaardSestoft1990.pdf.
- Q16881979 wikiPageExternalLink PrincipiaMathematica.txt.
- Q16881979 wikiPageExternalLink 655289.
- Q16881979 wikiPageExternalLink referential_transparency.
- Q16881979 wikiPageExternalLink ~udr.
- Q16881979 wikiPageWikiLink Q1143344.
- Q16881979 wikiPageWikiLink Q1144241.
- Q16881979 wikiPageWikiLink Q1156793.
- Q16881979 wikiPageWikiLink Q1196827.
- Q16881979 wikiPageWikiLink Q1325106.
- Q16881979 wikiPageWikiLink Q1329550.
- Q16881979 wikiPageWikiLink Q1376168.
- Q16881979 wikiPageWikiLink Q15777.
- Q16881979 wikiPageWikiLink Q1579914.
- Q16881979 wikiPageWikiLink Q1582738.
- Q16881979 wikiPageWikiLink Q163335.
- Q16881979 wikiPageWikiLink Q1668499.
- Q16881979 wikiPageWikiLink Q16928028.
- Q16881979 wikiPageWikiLink Q183216.
- Q16881979 wikiPageWikiLink Q183372.
- Q16881979 wikiPageWikiLink Q193076.
- Q16881979 wikiPageWikiLink Q1936217.
- Q16881979 wikiPageWikiLink Q2041271.
- Q16881979 wikiPageWikiLink Q214969.
- Q16881979 wikiPageWikiLink Q231158.
- Q16881979 wikiPageWikiLink Q232661.
- Q16881979 wikiPageWikiLink Q250.
- Q16881979 wikiPageWikiLink Q275596.
- Q16881979 wikiPageWikiLink Q3075265.
- Q16881979 wikiPageWikiLink Q33760.
- Q16881979 wikiPageWikiLink Q34010.
- Q16881979 wikiPageWikiLink Q3410945.
- Q16881979 wikiPageWikiLink Q360812.
- Q16881979 wikiPageWikiLink Q368988.
- Q16881979 wikiPageWikiLink Q395.
- Q16881979 wikiPageWikiLink Q40056.
- Q16881979 wikiPageWikiLink Q47506.
- Q16881979 wikiPageWikiLink Q5142451.
- Q16881979 wikiPageWikiLink Q5265717.
- Q16881979 wikiPageWikiLink Q535335.
- Q16881979 wikiPageWikiLink Q5482740.
- Q16881979 wikiPageWikiLink Q5508940.
- Q16881979 wikiPageWikiLink Q573952.
- Q16881979 wikiPageWikiLink Q6495369.
- Q16881979 wikiPageWikiLink Q7036022.
- Q16881979 wikiPageWikiLink Q7048954.
- Q16881979 wikiPageWikiLink Q778379.
- Q16881979 wikiPageWikiLink Q8366.
- Q16881979 wikiPageWikiLink Q877977.
- Q16881979 wikiPageWikiLink Q9143.
- Q16881979 wikiPageWikiLink Q93122.
- Q16881979 wikiPageWikiLink Q93593.
- Q16881979 wikiPageWikiLink Q935944.
- Q16881979 wikiPageWikiLink Q957386.
- Q16881979 comment "Referential transparency and referential opacity are properties of parts of computer programs. An expression is said to be referentially transparent if it can be replaced with its value without changing the behavior of a program (in other words, yielding a program that has the same effects and output on the same input).".
- Q16881979 label "Referential transparency".