Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Referential_transparency> ?p ?o }
Showing triples 1 to 82 of
82
with 100 triples per page.
- Referential_transparency 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.".
- Referential_transparency wikiPageExternalLink SondergaardSestoft1990.pdf.
- Referential_transparency wikiPageExternalLink PrincipiaMathematica.txt.
- Referential_transparency wikiPageExternalLink 655289.
- Referential_transparency wikiPageExternalLink referential_transparency.
- Referential_transparency wikiPageExternalLink ~udr.
- Referential_transparency wikiPageID "26526".
- Referential_transparency wikiPageLength "11626".
- Referential_transparency wikiPageOutDegree "57".
- Referential_transparency wikiPageRevisionID "703131047".
- Referential_transparency wikiPageWikiLink Alfred_North_Whitehead.
- Referential_transparency wikiPageWikiLink Algorithm.
- Referential_transparency wikiPageWikiLink Analytic_philosophy.
- Referential_transparency wikiPageWikiLink Assignment_(computer_science).
- Referential_transparency wikiPageWikiLink Bertrand_Russell.
- Referential_transparency wikiPageWikiLink C_(programming_language).
- Referential_transparency wikiPageWikiLink Category:Programming_language_theory.
- Referential_transparency wikiPageWikiLink Christopher_Strachey.
- Referential_transparency wikiPageWikiLink Closure_(computer_programming).
- Referential_transparency wikiPageWikiLink Code_motion.
- Referential_transparency wikiPageWikiLink Common_subexpression_elimination.
- Referential_transparency wikiPageWikiLink Compiler.
- Referential_transparency wikiPageWikiLink Computer_keyboard.
- Referential_transparency wikiPageWikiLink Computer_program.
- Referential_transparency wikiPageWikiLink Correctness_(computer_science).
- Referential_transparency wikiPageWikiLink Definite_clause_grammar.
- Referential_transparency wikiPageWikiLink Deterministic_system_(philosophy).
- Referential_transparency wikiPageWikiLink Expression_(computer_science).
- Referential_transparency wikiPageWikiLink Free_variables_and_bound_variables.
- Referential_transparency wikiPageWikiLink Functional_programming.
- Referential_transparency wikiPageWikiLink Fundamental_Concepts_in_Programming_Languages.
- Referential_transparency wikiPageWikiLink Global_variable.
- Referential_transparency wikiPageWikiLink Haskell_(programming_language).
- Referential_transparency wikiPageWikiLink Idempotence.
- Referential_transparency wikiPageWikiLink Imperative_programming.
- Referential_transparency wikiPageWikiLink Late_binding.
- Referential_transparency wikiPageWikiLink Lazy_evaluation.
- Referential_transparency wikiPageWikiLink Liskov_substitution_principle.
- Referential_transparency wikiPageWikiLink Mathematics.
- Referential_transparency wikiPageWikiLink Memoization.
- Referential_transparency wikiPageWikiLink Monad_(functional_programming).
- Referential_transparency wikiPageWikiLink Name_binding.
- Referential_transparency wikiPageWikiLink Non-local_variable.
- Referential_transparency wikiPageWikiLink Optimizing_compiler.
- Referential_transparency wikiPageWikiLink Parallel_computing.
- Referential_transparency wikiPageWikiLink Principia_Mathematica.
- Referential_transparency wikiPageWikiLink Program_optimization.
- Referential_transparency wikiPageWikiLink Programmer.
- Referential_transparency wikiPageWikiLink Programming_language.
- Referential_transparency wikiPageWikiLink Pure_function.
- Referential_transparency wikiPageWikiLink Purely_functional.
- Referential_transparency wikiPageWikiLink Rewriting.
- Referential_transparency wikiPageWikiLink Sequence_point.
- Referential_transparency wikiPageWikiLink Side_effect_(computer_science).
- Referential_transparency wikiPageWikiLink Static_program_analysis.
- Referential_transparency wikiPageWikiLink Transparency_(human–computer_interaction).
- Referential_transparency wikiPageWikiLink Value_(computer_science).
- Referential_transparency wikiPageWikiLink Variable_(computer_science).
- Referential_transparency wikiPageWikiLink Willard_Van_Orman_Quine.
- Referential_transparency wikiPageWikiLink Word_and_Object.
- Referential_transparency wikiPageWikiLinkText "Referential transparency".
- Referential_transparency wikiPageWikiLinkText "referential transparency".
- Referential_transparency wikiPageUsesTemplate Template:About.
- Referential_transparency wikiPageUsesTemplate Template:Citation_needed.
- Referential_transparency wikiPageUsesTemplate Template:Cite_book.
- Referential_transparency wikiPageUsesTemplate Template:Cite_journal.
- Referential_transparency wikiPageUsesTemplate Template:Expert-subject.
- Referential_transparency wikiPageUsesTemplate Template:Unreferenced.
- Referential_transparency subject Category:Programming_language_theory.
- Referential_transparency hypernym Properties.
- Referential_transparency type Area.
- Referential_transparency type Building.
- Referential_transparency type Area.
- Referential_transparency type Page.
- Referential_transparency type Redirect.
- Referential_transparency 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).".
- Referential_transparency label "Referential transparency".
- Referential_transparency sameAs Q16881979.
- Referential_transparency sameAs m.06lzn.
- Referential_transparency sameAs Q16881979.
- Referential_transparency wasDerivedFrom Referential_transparency?oldid=703131047.
- Referential_transparency isPrimaryTopicOf Referential_transparency.