Bird-Meertens formalism
noun1
- A calculus for deriving programs from program specifications (in a functional programming setting) by a process of equational reasoning.
forms
Bird-Meertens formalisms
This dictionary works without the internet: on your phone · in Chrome