Bird-Meertens formalism

noun

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

Similar
BMF
Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounBird-Meertens formalism (plural Bird-Meertens formalisms)

plural Bird-Meertens formalisms

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

    Synonyms: BMF

Synonyms & antonyms

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

Similar
BMF

Origin

Devised by Richard Bird and Lambert Meertens.

Full word history & related roots →
Cite this entry
APA

Bird-Meertens formalism. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/Bird-Meertens%20formalism

MLA

“Bird-Meertens formalism.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Bird-Meertens%20formalism. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “Bird-Meertens formalism,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/Bird-Meertens%20formalism.

Source: Bird-Meertens formalism on Wiktionary, CC BY-SA 4.0.