- referentially transparent
- лингв. с ясной референцией
Большой англо-русский и русско-английский словарь. 2001.
referentially transparent
Смотреть что такое "referentially transparent" в других словарях:
referentially opaque/transparent — A distinction between the contexts into which referring expressions can be put. A context is referentially transparent if any two terms referring to the same thing can be substituted in it salva veritate, i.e. without altering the truth or… … Philosophy dictionary
transparent — See referentially opaque/transparent … Philosophy dictionary
Referential transparency (computer science) — Referential transparency and referential opaqueness 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 program (in other words, yielding a… … Wikipedia
Memoization — Not to be confused with Memorization. In computing, memoization is an optimization technique used primarily to speed up computer programs by having function calls avoid repeating the calculation of results for previously processed inputs.… … Wikipedia
Opaque context — An opaque context is a linguistic context in which it is not always possible to substitute co referential expressions (usually grammatically singular terms) salva veritate. In other words, substitution of co referential expressions into an opaque … Wikipedia
Uniqueness type — In computing, a unique type guarantees that an object is used in a single threaded way, with at most a single reference to it. If a value has a unique type, a function applied to it can be made to update the value in place in the object code. In… … Wikipedia
List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… … Wikipedia
Analytica — is a visual software package developed by [http://www.lumina.com Lumina Decision Systems, Inc.] for creating, analyzing and communicating quantitative decision models. Analytica includes hierarchical influence diagrams for visual creation and… … Wikipedia
Variable — A variable (pronEng|ˈvɛərɪəbl) is an attribute of a physical or an abstract system which may change its value while it is under observation. Examples include the height of a child, the temperature across a state, or the input to a function. This… … Wikipedia
Dynamic programming — For the programming paradigm, see Dynamic programming language. In mathematics and computer science, dynamic programming is a method for solving complex problems by breaking them down into simpler subproblems. It is applicable to problems… … Wikipedia
Declarative programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
