Bird-Meertens formalism en · NOUN
Etymology
Devised by Richard Bird and Lambert Meertens.
Meanings
- A calculus for deriving programs from program specifications (in a functional programming setting) by a process of equational reasoning.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Bird-Meertens formalisms | Number=Plur | lexicographic |