Bird-Meertens formalism

名词noun

1. 1A calculus for deriving programs from program specifications (in a functional programming setting) by a process of equational reasoning.