VDict - Definition of graph reduction

search result for graph reduction in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

reduction graph reduction string reduction Compiler Target Language projection graph rewriting system Weak Head Normal Form reduction strategy parallel reduction Moore graph call-by-name graph DACTL S-K reduction machine GRIP beta reduction Computational Adequacy Theorem complete graph GIRL directed graph black hole Tcode connected graph Graph-Oriented Object Database ParAlfl Hamiltonian problem iterative deepening PROgrammed Graph REwriting Systems G-Code GEA applicative order reduction lazy evaluation GRAPPLE VP-Planner delta reduction graph coloring bipartite graph regular graph full laziness connected subgraph Church-Rosser Theorem register allocation FGRAAL head normalisation theorem name capture directed acyclic graph Graph Algorithm and Software Package FGL normal order reduction graph colouring depth-first search call-by-need normal form Lean chromatic number eta conversion tree constant applicative form Goffin serialise learning curve GRAS PROGRES GOOD RPL-1 LNF node finite differencing LGN DAG Moore bound Function Graph Language visit ordinate abscissa redex degree MONSTR Linear Graph Notation diameter

First < Previous 1 2 3 Next > Last