More on advice on structuring compilers and proving them correct (Q1156472): Difference between revisions

@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel realization of systems, using factorizations and quotients in categories
+Normal rank
@@ Property / cites work @@
+Q4134935
@@ Property / cites work: Q4134935 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra automata I: Parallel programming as a prolegomena to the categorical approach
+Normal rank
@@ Property / cites work @@
+Heterogeneous algebras
@@ Property / cites work: Heterogeneous algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5618896
@@ Property / cites work: Q5618896 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165484
@@ Property / cites work: Q4165484 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantically meaningful characterization of reducible flowchart schemes
+Normal rank
@@ Property / cites work @@
+Proving a compiler correct: A simple approach
@@ Property / cites work: Proving a compiler correct: A simple approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q4178466
@@ Property / cites work: Q4178466 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q5574395
@@ Property / cites work: Q5574395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3878737
@@ Property / cites work: Q3878737 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674962
@@ Property / cites work: Q5674962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068067
@@ Property / cites work: Q4068067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385537
@@ Property / cites work: Q4385537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank