Correct hardware synthesis (Q766178): Difference between revisions

@@ Property / author @@
-Juan I. Perna
@@ Property / author: Juan I. Perna / rank @@
-Normal rank
@@ Property / author @@
-J. C. P. Woodcock
@@ Property / author: J. C. P. Woodcock / rank @@
-Normal rank
@@ Property / author @@
+Juan I. Perna
@@ Property / author: Juan I. Perna / rank @@
+Normal rank
@@ Property / author @@
+J. C. P. Woodcock
@@ Property / author: J. C. P. Woodcock / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00236-011-0142-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2023293472
@@ Property / OpenAlex ID: W2023293472 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:766178