Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
higher-order macro HOL Forsythe last call optimisation Lambda Prolog OBJ call-by-value call-by-value-result LPG first-order fully lazy lambda lifting Quest methodology stub first-order logic syntax directed translation LNF BABEL CHOCS traversal fence leapfrog attack stack traceback TrafoLa functional F-Logic Fresh higher-order function interpolation FL ASL+ Object Role Modeling calling convention Cube Isabelle LUCID overclocking object-oriented programming Obliq bottom-up implementation map L0 Bird-Meertens Formalism call-by-reference EMM386 Oz HiLog Extensible Shell Language for Communicating Systems Ratatosk tail recursion optimisation dynamic scope least fixed point Remote Procedure Call filter Euclid predicate logic FP UFO network byte order more...