Word.ws English Dictionary

Bird-Meertens formalism

Bird-Meertens formalism noun: a calculus for deriving programs from program specifications (in a functional programming setting) by a process of equational reasoning.

Noun

Bird-Meertens formalism (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 of Bird-Meertens formalism

Forms of Bird-Meertens formalism

pluralBird-Meertens formalisms

Origin of Bird-Meertens formalism

Devised by Richard Bird and Lambert Meertens.

Questions about Bird-Meertens formalism

What does Bird-Meertens formalism mean?
Bird-Meertens formalism means a calculus for deriving programs from program specifications (in a functional programming setting) by a process of equational reasoning.
What part of speech is Bird-Meertens formalism?
Bird-Meertens formalism is a noun.
What is the plural of Bird-Meertens formalism?
The plural of Bird-Meertens formalism is Bird-Meertens formalisms.

Words near Bird-Meertens formalism in the dictionary

  1. bird-hipped
  2. bird-in-a-bush
  3. bird-like
  4. bird-lime
  5. bird-loving
  6. Bird-Meertens formalism
  7. bird-nest
  8. bird-nesting
  9. bird-nests
  10. bird-of-paradise
  11. bird-rich

Source and license

Adapted from Wiktionary: Bird-Meertens formalism (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Bird-Meertens formalism.” Word.ws, https://word.ws/bird-meertens_formalism. Based on Wiktionary, CC BY-SA 4.0.