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

XPL provocative maintenance EPSILON compiler LM-Prolog automaton no-op INTCODE POPLOG lazy evaluation crash and burn database machine RPL-1 Register Transfer Language LNF PEARL finite differencing parallel random access machine programming language byte-code redex infant mortality FORTRANSIT Portable Scheme Interpreter Internet Adapter Finite State Machine term rewriting system contraction eta reduction heartbeat evaluation Parallaxis mcvax P-code subroutine beta conversion mumble demand driven evaluation strategy delta conversion interpreter diverge graph rewriting system Microsoft Extended flood specialisation combination HAKMEM toaster EDL extensional equality Codd's reduction algorithm grind crank nondeterministic polynomial time Herman Hollerith ParAlfl call-by-value Thinking Machines Corporation Interactive Data Language Core War Charles Babbage Alan Turing scratch monkey alpha conversion strength reduction relational calculus microcode Vannevar Bush DACTL relational algebra Samba inline Altair 8800 full laziness beta abstraction portability injection Head Normal Form attenuation BOSS

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