Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Bird–Meertens_formalism> ?p ?o }
Showing triples 1 to 37 of
37
with 100 triples per page.
- Bird–Meertens_formalism abstract "The Bird–Meertens formalism is a calculus for deriving programs from specifications (in a functional-programming setting) by a process of equational reasoning. It was devised by Richard Bird and Lambert Meertens as part of their work within IFIP Working Group 2.1.It is sometimes referred to in publications as BMF, as a nod to Backus-Naur Form. Facetiously it is also referred to as Squiggol, because of the "squiggly" symbols it uses. A less-used variant name, but actually the first one suggested, is SQUIGOL.".
- Bird–Meertens_formalism wikiPageExternalLink Two_exercises_found_in_a_book_on_Algorithmics.pdf.
- Bird–Meertens_formalism wikiPageExternalLink Algorithmics.pdf.
- Bird–Meertens_formalism wikiPageID "4692157".
- Bird–Meertens_formalism wikiPageLength "1934".
- Bird–Meertens_formalism wikiPageOutDegree "18".
- Bird–Meertens_formalism wikiPageRevisionID "675577567".
- Bird–Meertens_formalism wikiPageWikiLink Anamorphism.
- Bird–Meertens_formalism wikiPageWikiLink Backus-Naur_Form.
- Bird–Meertens_formalism wikiPageWikiLink Backus–Naur_Form.
- Bird–Meertens_formalism wikiPageWikiLink Calculation.
- Bird–Meertens_formalism wikiPageWikiLink Catamorphism.
- Bird–Meertens_formalism wikiPageWikiLink Category:Functional_languages.
- Bird–Meertens_formalism wikiPageWikiLink Category:Program_derivation.
- Bird–Meertens_formalism wikiPageWikiLink Formal_specification.
- Bird–Meertens_formalism wikiPageWikiLink Functional_programming.
- Bird–Meertens_formalism wikiPageWikiLink Hylomorphism_(computer_science).
- Bird–Meertens_formalism wikiPageWikiLink IFIP_Working_Group_2.1.
- Bird–Meertens_formalism wikiPageWikiLink Lambert_Meertens.
- Bird–Meertens_formalism wikiPageWikiLink Paramorphism.
- Bird–Meertens_formalism wikiPageWikiLink Program_derivation.
- Bird–Meertens_formalism wikiPageWikiLink Program_specification.
- Bird–Meertens_formalism wikiPageWikiLink Richard_Bird_(computer_scientist).
- Bird–Meertens_formalism wikiPageWikiLinkText "Bird–Meertens formalism".
- Bird–Meertens_formalism hasPhotoCollection Bird–Meertens_formalism.
- Bird–Meertens_formalism wikiPageUsesTemplate Template:Cite_article.
- Bird–Meertens_formalism wikiPageUsesTemplate Template:Cite_book.
- Bird–Meertens_formalism wikiPageUsesTemplate Template:Comp-sci-stub.
- Bird–Meertens_formalism subject Category:Functional_languages.
- Bird–Meertens_formalism subject Category:Program_derivation.
- Bird–Meertens_formalism comment "The Bird–Meertens formalism is a calculus for deriving programs from specifications (in a functional-programming setting) by a process of equational reasoning. It was devised by Richard Bird and Lambert Meertens as part of their work within IFIP Working Group 2.1.It is sometimes referred to in publications as BMF, as a nod to Backus-Naur Form. Facetiously it is also referred to as Squiggol, because of the "squiggly" symbols it uses.".
- Bird–Meertens_formalism label "Bird–Meertens formalism".
- Bird–Meertens_formalism sameAs m.0chlnd.
- Bird–Meertens_formalism sameAs Q4916175.
- Bird–Meertens_formalism sameAs Q4916175.
- Bird–Meertens_formalism wasDerivedFrom Bird–Meertens_formalism?oldid=675577567.
- Bird–Meertens_formalism isPrimaryTopicOf Bird–Meertens_formalism.