Category:Bird-Meertens formalism
calculus for deriving computer programs from specifications by a process of equational reasoning | |||||
| Upload media | |||||
| |||||
 | |||||
Media in category "Bird-Meertens formalism"
The following 26 files are in this category, out of 26 total.
-
Bird fold scan fusion 456789 svg.svg 1,594 × 283; 88 KB
-
Bird fold scan fusion 456789.pdf 2,656 × 470; 48 KB
-
Bird fold scan fusion 56789 svg.svg 1,222 × 283; 80 KB
-
Bird fold scan fusion 56789.pdf 2,035 × 470; 48 KB
-
Bird fold scan fusion 6789 svg.svg 886 × 283; 72 KB
-
Bird fold scan fusion 6789.pdf 1,475 × 470; 48 KB
-
Bird foldl map fusion svg.svg 461 × 283; 47 KB
-
Bird foldl map fusion.pdf 766 × 470; 45 KB
-
Bird foldl promotion svg.svg 602 × 283; 40 KB
-
Bird foldl promotion.pdf 1,002 × 470; 29 KB
-
Bird horner rule 456789 svg.svg 1,063 × 372; 71 KB
-
Bird horner rule 456789.pdf 1,770 × 618; 40 KB
-
Bird horner rule 56789 svg.svg 833 × 372; 63 KB
-
Bird horner rule 56789.pdf 1,387 × 618; 40 KB
-
Bird horner rule 6789 svg.svg 638 × 372; 56 KB
-
Bird horner rule 6789.pdf 1,062 × 618; 39 KB
-
Bird map promotion svg.svg 531 × 283; 32 KB
-
Bird map promotion.pdf 885 × 470; 34 KB
-
Bird scan lemma 456789 svg.svg 744 × 283; 41 KB
-
Bird scan lemma 456789.pdf 1,239 × 470; 28 KB
-
Bird scan lemma 56789 svg.svg 602 × 283; 36 KB
-
Bird scan lemma 56789.pdf 1,002 × 470; 28 KB
-
Bird scan lemma 6789 svg.svg 478 × 283; 32 KB
-
Bird scan lemma 6789.pdf 795 × 470; 28 KB
-
Max seg sums svg.svg 567 × 425; 99 KB
-
Max seg sums.pdf 943 × 708; 77 KB
