Algebraic translations, correctness and algebraic compiler construction (Q1129121): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Update semantics of relational views
@@ Property / cites work: Update semantics of relational views / rank @@
+Normal rank
@@ Property / cites work @@
+Q5618896
@@ Property / cites work: Q5618896 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342082
@@ Property / cites work: Q4342082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677148
@@ Property / cites work: Q3677148 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995890
@@ Property / cites work: Q3995890 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q4346205
@@ Property / cites work: Q4346205 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3712304
@@ Property / cites work: Q3712304 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331781
@@ Property / cites work: Q4331781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4061988
@@ Property / cites work: Q4061988 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages
@@ Property / cites work: Semantics of context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3902952
@@ Property / cites work: Q3902952 / 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 @@
+On the structural simplicity of machines and languages
+Normal rank
@@ Property / cites work @@
+Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980
+Normal rank
@@ Property / cites work @@
+Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction
+Normal rank
@@ Property / cites work @@
+Mathematical methods in linguistics
@@ Property / cites work: Mathematical methods in linguistics / rank @@
+Normal rank
@@ Property / cites work @@
+Compiler specification and verification
@@ Property / cites work: Compiler specification and verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840207
@@ Property / cites work: Q4840207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4102722
@@ Property / cites work: Q4102722 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899535
@@ Property / cites work: Q3899535 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic model for programming languages
@@ Property / cites work: An algebraic model for programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic construction of compilers
@@ Property / cites work: Algebraic construction of compilers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4127966
@@ Property / cites work: Q4127966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4199499
@@ Property / cites work: Q4199499 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5680089
@@ Property / cites work: Q5680089 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995133
@@ Property / cites work: Q3995133 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1129121