Correct hardware synthesis (Q766178): Difference between revisions

@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to the design of compilers for object-oriented languages
+Normal rank
@@ Property / cites work @@
+A Theory of Pointers for the UTP
@@ Property / cites work: A Theory of Pointers for the UTP / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods at the Crossroads. From Panacea to Foundational Support
+Normal rank
@@ Property / cites work @@
+Normal form approach to compiler design
@@ Property / cites work: Normal form approach to compiler design / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified bytecode verifiers.
@@ Property / cites work: Verified bytecode verifiers. / rank @@
+Normal rank
@@ Property / cites work @@
+Compiler specification and verification
@@ Property / cites work: Compiler specification and verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412491
@@ Property / cites work: Q4412491 / rank @@
+Normal rank
@@ Property / cites work @@
+The laws of Occam programming
@@ Property / cites work: The laws of Occam programming / rank @@
+Normal rank
@@ Property / cites work @@
+An Algebraic Approach to Compiler Design
@@ Property / cites work: An Algebraic Approach to Compiler Design / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive approach to hardware/software partitioning
+Normal rank
@@ Property / cites work @@
+Q4293533
@@ Property / cites work: Q4293533 / rank @@
+Normal rank
@@ Property / cites work @@
+A demonstrably correct compiler
@@ Property / cites work: A demonstrably correct compiler / rank @@
+Normal rank
@@ Property / cites work @@
+Q4399908
@@ Property / cites work: Q4399908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank