Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

reduction strategy

You are here: irt.org | FOLDOC | reduction strategy

<theory> An algorithm for deciding which redex(es) to reduce next. Different strategies have different termination properties in the presence of recursive functions or values.

See string reduction, normal order reduction, applicative order reduction, parallel reduction


Nearby terms: REDUCE « Reduced Instruction Set Computer « reduction « reduction strategy » redundancy » Redundant Array of Independent Disks » Redundant Array of Independent Drives

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb