English Explanatory Dictionary

Bird-Meertens formalism

English dictionary entry

Meanings

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

Word forms

Bird-Meertens formalism Bird-Meertens formalisms

Etymology

Devised by Richard Bird and Lambert Meertens.

Synonyms

BMF
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on B Russian dictionary Dahl dictionary