VDict - Definition of S-K reduction machine

search result for S-K reduction machine in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 7 Next > Last

reduction Compiler Target Language abstract machine reduction strategy parallel reduction Tcode S-K reduction machine string reduction beta reduction G-Code Computational Adequacy Theorem Weak Head Normal Form GRIP GRAAL applicative order reduction delta reduction Church-Rosser Theorem graph reduction head normalisation theorem name capture call-by-name David Turner Stack Environment Control Dump machine normal order reduction machine learning projection call-by-need normal form Nondeterministic Turing Machine dynamic translation Lisp Machine threaded code Virtual Machine/Conversational Monitor System virtual machine FP/M eta conversion Sequential Parlog Machine dink Nightmare File System assembly language Connection Machine LISP machine code von Neumann architecture SECD machine Turing Machine FLUB Goffin data hierarchy Nonpareil Diamond machine language Brilliant machine firewall machine Acorn RISC Machine frotzed Virtual Machine/System Product black hole AI koan Lispkit maximum Maytag mode home machine Data Driven Machine ZetaLisp fepped out first generation language LOWL state machine ARM Idealized Instruction Set slopsucker register spilling B-Method Target-Machine Description Language back-end washing machine CGGL MIT Lisp Machine Virtual Machine/XA Virtual Machine/ESA

First < Previous 1 2 3 4 5 6 7 Next > Last