Bird-Meertens formalism

短语

词形变化

Bird-Meertens formalisms 复数

别名

BMF

释义与例句

n.
  1. 1.

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

词源

Devised by Richard Bird and Lambert Meertens.

来源：wiktionary