- partial evaluation
- частичное вычисление;
частичное присваивание (значений истинности предикатам)
Большой англо-русский и русско-английский словарь. 2001.
partial evaluation
Смотреть что такое "partial evaluation" в других словарях:
Partial evaluation — In computing, partial evaluation is a technique for program optimization by specialization.A computer program, prog , is seen as a mapping of input data into output data::prog : I {static} imes I {dynamic} o OI {static}, the static data , is the… … Wikipedia
Evaluation strategy — Evaluation strategies Strict evaluation Applicative order Call by value Call by reference Call by sharing Call by copy restore Non strict evaluation Normal order Call by name Call by need/Lazy evaluation … Wikipedia
Evaluation (disambiguation) — Evaluation is the process of characterizing and appraising something of interest or of determining the value of an expression (mathematics). Computer science * determining the value of an expression (programming) * Eager evaluation or strict… … Wikipedia
Partial androgen insensitivity syndrome — Classification and external resources AIS results when the function of the androgen receptor (AR) is impaired. The AR protein (pictured) mediates the effects of androgens in the human body. ICD 10 … Wikipedia
partial disability — The result of an injury that permanently reduces a worker s ability to function, but still permits the worker to do some gainful activity. Category: Accidents & Injuries Category: Employment Law & HR Category: Personal Finance & Retirement →… … Law dictionary
Partial discharge — In electrical engineering, a partial discharge (PD) is a localised dielectric breakdown of a small portion of a solid or liquid electrical insulation system under high voltage stress. While a corona discharge is usually revealed by a relatively… … Wikipedia
Short-circuit evaluation — Evaluation strategies Strict evaluation Applicative order Call by value Call by reference Call by sharing Call by copy restore Non strict evaluation Normal order Call by name Call by need/Lazy evaluation Call by … Wikipedia
Partial volume — The partial volume effect occurs in medical imaging when a single voxel contains a mixture of multiple tissue values. A lower resolution increases this effect. The method to correct for the partial volume effect is referred to as partial volume… … Wikipedia
Partial Portraits — Infobox Book | name = Partial Portraits author = Henry James country = United Kingdom language = English genre = Literary criticism publisher = Macmillan and Co., London release date = 8 May 1888 media type = Print (Hardback) pages = 408 pp isbn … Wikipedia
Partial least squares regression — In statistics, the method of partial least squares regression (PLS regression) bears some relation to principal component analysis; instead of finding the hyperplanes of minimum variance, it finds a linear model describing some predicted… … Wikipedia
Normalisation by evaluation — In programming language semantics, normalisation by evaluation (NBE) is a style of obtaining the normal form of terms in the λ calculus by appealing to their denotational semantics. A term is first interpreted into a denotational model of the λ… … Wikipedia
