VDict - Definition of partial evaluation

search result for partial evaluation in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

partial evaluation lazy evaluation eager evaluation strict evaluation conservative evaluation partial ordering speculative evaluation lenient evaluation binding-time analysis call-by-value optimising compiler specialisation constant folding Recursive Functional Algorithmic Language higher-order macro CORAL termination analysis strict functional programming complete partial ordering partial key Initial Operational Test and Evaluation call-by-need PDEL evaluator partial function applicative order reduction call-by-name ALLOY Stack Environment Control Dump machine thunk tuple powerdomain referential transparency SPEC PERT IOT&E Miracula Developmental Test and Evaluation Persistent Functional Language PRML PDELAN laziness DT&E OT&E inspection Partial Differential Equation LANguage partially ordered set lower set curried function FX-90 cpo evaluation autoprojector manual testing Eh operational test and evaluation dynamic analysis SCOPE interpreter Prolog-II SALEM incremental analysis demand driven evaluation strategy lazy list diverge LE/1 automated testing purely functional language PER Scott domain transitive General Recursion Theorem total function Lispkit Caliban total ordering side-effect boundedly complete

First < Previous 1 2 Next > Last