Bird–Meertens Formalism (Q4916175)
Jump to navigation
Jump to search
calculus for deriving computer programs from specifications by a process of equational reasoning
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bird–Meertens Formalism |
calculus for deriving computer programs from specifications by a process of equational reasoning |
Statements
Bird-Meertens formalism
0 references
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Bird–Meertens formalism
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:Bird-Meertens formalism