1. BIPS Billion 10^9 instructions per second. Same as GIPS. Bird-Meertens Formalism programming> BMF Or "Squiggol" A calculus for derivation of functional programs from a specification. It consists of a set of higher-order functions that operate on lists including map, fold, scan, filter, inits, tails, cross product and function composition. ["A Calculus of Functions for Program Derivation", R. S. Bird, in Res Topics in Fnl Prog, D. Turner ed, A-W 1990]. ["The Squiggolist", ed Johan Jeuring, published irregularly by CWI Amsterdam].
bips |
