VDict - Definition of applicative order reduction

search result for applicative order reduction in Computing (FOLDOC) dictionary

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

GRIP evaluation beta conversion equational logic demand driven evaluation strategy delta conversion diverge isomorphism TABLOG graph rewriting system Concrete Data Structure Lambda Prolog mode client-server IDEAL specialisation Tcode combination EDL extensional equality OBJ Codd's reduction algorithm David Turner ParAlfl Ironman Interactive Data Language BABEL alpha conversion Single ASsignment Language strength reduction relational calculus G-Code Hope Isabelle DACTL relational algebra full laziness beta abstraction injection Head Normal Form attenuation Group-Sweeping Scheduling parallelism LUCID 100BaseVG bounce Quest brute force abstract machine closure gamma correction CHOCS lower set cyclic redundancy check skolemisation in-order traversal dinosaur pen connective redundancy garbageabetical order go root T hobbit Universal algebra logic high bit Eh TrafoLa functional Order Code Processor Hamming distance Second-Order Lambda-calculus Coalition for Networked Information Woodenman F-Logic Fresh Scott domain post-order traversal OCP

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