The use of hoare logic in the verification of horizontal microprograms (Q3216113): Difference between revisions

@@ Property / author @@
+A. S. Wagner
@@ Property / author: A. S. Wagner / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3923568
@@ Property / cites work: Q3923568 / rank @@
+Normal rank
@@ Property / cites work @@
+The MPG System: A Machine-Independent Efficient Microprogram Generator
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Microprogramming: An Introduction and a Viewpoint
@@ Property / cites work: Microprogramming: An Introduction and a Viewpoint / rank @@
+Normal rank
@@ Property / cites work @@
+Q4076753
@@ Property / cites work: Q4076753 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic definition of the programming language Pascal
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00985823
+Normal rank
@@ Property / OpenAlex ID @@
+W2028992386
@@ Property / OpenAlex ID: W2028992386 / rank @@
+Normal rank