VDict - Definition of parallel outermost reduction

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

parallel reduction reduction reduction strategy Computational Adequacy Theorem Compiler Target Language normal order reduction call-by-name applicative order reduction string reduction Parallel Pascal beta reduction Goffin parallel port GRIP Data Parallel Haskell lazy evaluation Parallel Virtual Machine Weak Head Normal Form Universal Debugger implicit parallelism C* Bernstein condition parallelism delta reduction Coherent Parallel C DINO Church-Rosser Theorem graph reduction XPC Parallel Haskell Oracle Parallel Server ParAlfl FP2 Parallel C pm2 parallel processor head normalisation theorem name capture The Force TUPLE Actus PaiLisp BLAZE explicit parallelism compute server Idealized CSP Parallaxis Adaptor Paralation Thinking Machines Corporation Parlog projection call-by-need normal form Parallel SML POOL2 parallel random access machine Fleng EPL eta conversion more...