Bird-Meertens formalism

名词 n.
中文释义

英文释义

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

词形变化

Bird-Meertens formalisms plural

词源

Devised by Richard Bird and Lambert Meertens.
2 次浏览 数据来源: Wiktionary