Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Referential_transparency_(computer_science)> ?p ?o }
Showing triples 1 to 91 of
91
with 100 triples per page.
- Referential_transparency_(computer_science) 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.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_(computer_science) wikiPageExternalLink SondergaardSestoft1990.pdf.
- Referential_transparency_(computer_science) wikiPageID "26526".
- Referential_transparency_(computer_science) wikiPageLength "10310".
- Referential_transparency_(computer_science) wikiPageOutDegree "46".
- Referential_transparency_(computer_science) wikiPageRevisionID "679912380".
- Referential_transparency_(computer_science) wikiPageWikiLink Algorithm.
- Referential_transparency_(computer_science) wikiPageWikiLink Assignment_(computer_science).
- Referential_transparency_(computer_science) wikiPageWikiLink C_(programming_language).
- Referential_transparency_(computer_science) wikiPageWikiLink Category:Programming_language_theory.
- Referential_transparency_(computer_science) wikiPageWikiLink Closure_(computer_programming).
- Referential_transparency_(computer_science) wikiPageWikiLink Closure_(computer_science).
- Referential_transparency_(computer_science) wikiPageWikiLink Code-improving_transformation.
- Referential_transparency_(computer_science) wikiPageWikiLink Code_motion.
- Referential_transparency_(computer_science) wikiPageWikiLink Common_subexpression_elimination.
- Referential_transparency_(computer_science) wikiPageWikiLink Compiler.
- Referential_transparency_(computer_science) wikiPageWikiLink Computer_keyboard.
- Referential_transparency_(computer_science) wikiPageWikiLink Computer_program.
- Referential_transparency_(computer_science) wikiPageWikiLink Correctness_(computer_science).
- Referential_transparency_(computer_science) wikiPageWikiLink Definite_clause_grammar.
- Referential_transparency_(computer_science) wikiPageWikiLink Destructive_assignment.
- Referential_transparency_(computer_science) wikiPageWikiLink Deterministic_system_(philosophy).
- Referential_transparency_(computer_science) wikiPageWikiLink Dynamic_binding_(computing).
- Referential_transparency_(computer_science) wikiPageWikiLink Expression_(computer_science).
- Referential_transparency_(computer_science) wikiPageWikiLink Expression_(programming).
- Referential_transparency_(computer_science) wikiPageWikiLink Free_variable.
- Referential_transparency_(computer_science) wikiPageWikiLink Free_variables_and_bound_variables.
- Referential_transparency_(computer_science) wikiPageWikiLink Functional_programming.
- Referential_transparency_(computer_science) wikiPageWikiLink Global_variable.
- Referential_transparency_(computer_science) wikiPageWikiLink Haskell_(programming_language).
- Referential_transparency_(computer_science) wikiPageWikiLink Idempotence.
- Referential_transparency_(computer_science) wikiPageWikiLink Imperative_programming.
- Referential_transparency_(computer_science) wikiPageWikiLink Late_binding.
- Referential_transparency_(computer_science) wikiPageWikiLink Lazy_evaluation.
- Referential_transparency_(computer_science) wikiPageWikiLink Mathematics.
- Referential_transparency_(computer_science) wikiPageWikiLink Memoization.
- Referential_transparency_(computer_science) wikiPageWikiLink Monad_(functional_programming).
- Referential_transparency_(computer_science) wikiPageWikiLink Monads_in_functional_programming.
- Referential_transparency_(computer_science) wikiPageWikiLink Name_binding.
- Referential_transparency_(computer_science) wikiPageWikiLink Non-local_variable.
- Referential_transparency_(computer_science) wikiPageWikiLink Optimization_(computer_science).
- Referential_transparency_(computer_science) wikiPageWikiLink Optimizing_compiler.
- Referential_transparency_(computer_science) wikiPageWikiLink Parallel_computing.
- Referential_transparency_(computer_science) wikiPageWikiLink Parallelization.
- Referential_transparency_(computer_science) wikiPageWikiLink Program_optimization.
- Referential_transparency_(computer_science) wikiPageWikiLink Programmer.
- Referential_transparency_(computer_science) wikiPageWikiLink Programming_language.
- Referential_transparency_(computer_science) wikiPageWikiLink Pure_function.
- Referential_transparency_(computer_science) wikiPageWikiLink Purely_functional.
- Referential_transparency_(computer_science) wikiPageWikiLink Rewrite_rule.
- Referential_transparency_(computer_science) wikiPageWikiLink Rewrite_system.
- Referential_transparency_(computer_science) wikiPageWikiLink Rewriting.
- Referential_transparency_(computer_science) wikiPageWikiLink Sequence_point.
- Referential_transparency_(computer_science) wikiPageWikiLink Sequence_points.
- Referential_transparency_(computer_science) wikiPageWikiLink Side_effect_(computer_science).
- Referential_transparency_(computer_science) wikiPageWikiLink Static_binding.
- Referential_transparency_(computer_science) wikiPageWikiLink Static_code_analysis.
- Referential_transparency_(computer_science) wikiPageWikiLink Static_program_analysis.
- Referential_transparency_(computer_science) wikiPageWikiLink Transparency_(human-computer_interaction).
- Referential_transparency_(computer_science) wikiPageWikiLink Transparency_(human–computer_interaction).
- Referential_transparency_(computer_science) wikiPageWikiLink Value_(computer_science).
- Referential_transparency_(computer_science) wikiPageWikiLinkText "Referential transparency (computer science)".
- Referential_transparency_(computer_science) wikiPageWikiLinkText "Referential transparency".
- Referential_transparency_(computer_science) wikiPageWikiLinkText "referential transparency".
- Referential_transparency_(computer_science) wikiPageWikiLinkText "referentially transparent".
- Referential_transparency_(computer_science) hasPhotoCollection Referential_transparency_(computer_science).
- Referential_transparency_(computer_science) wikiPageUsesTemplate Template:Citation_needed.
- Referential_transparency_(computer_science) wikiPageUsesTemplate Template:Cite_book.
- Referential_transparency_(computer_science) wikiPageUsesTemplate Template:Cite_journal.
- Referential_transparency_(computer_science) wikiPageUsesTemplate Template:Expert-subject.
- Referential_transparency_(computer_science) wikiPageUsesTemplate Template:Unreferenced.
- Referential_transparency_(computer_science) subject Category:Programming_language_theory.
- Referential_transparency_(computer_science) hypernym Properties.
- Referential_transparency_(computer_science) type Building.
- Referential_transparency_(computer_science) 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). The opposite term is referential opacity.While in mathematics all function applications are referentially transparent, in programming this is not always the case.".
- Referential_transparency_(computer_science) label "Referential transparency (computer science)".
- Referential_transparency_(computer_science) sameAs شفافية_مرجعية.
- Referential_transparency_(computer_science) sameAs Referenzielle_Transparenz.
- Referential_transparency_(computer_science) sameAs Transparencia_referencial.
- Referential_transparency_(computer_science) sameAs Transparence_référentielle.
- Referential_transparency_(computer_science) sameAs Trasparenza_referenziale.
- Referential_transparency_(computer_science) sameAs 参照透過性.
- Referential_transparency_(computer_science) sameAs Kelejasan_rujukan_(sains_komputer).
- Referential_transparency_(computer_science) sameAs Referentiële_transparantie.
- Referential_transparency_(computer_science) sameAs m.06lzn.
- Referential_transparency_(computer_science) sameAs Чистота_языка_программирования.
- Referential_transparency_(computer_science) sameAs Прозорість_посилань_(інформатика).
- Referential_transparency_(computer_science) sameAs Q1754278.
- Referential_transparency_(computer_science) sameAs Q1754278.
- Referential_transparency_(computer_science) wasDerivedFrom Referential_transparency_(computer_science)?oldid=679912380.
- Referential_transparency_(computer_science) isPrimaryTopicOf Referential_transparency_(computer_science).