Correctness of the compiling process based on axiomatic semantics (Q1138902): Difference between revisions

@@ Property / cites work @@
+Proof Theory of Partial Correctness Verification Systems
+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 @@
+An axiomatic definition of the programming language Pascal
+Normal rank
@@ Property / cites work @@
+Q4055144
@@ Property / cites work: Q4055144 / rank @@
+Normal rank
@@ Property / cites work @@
+Program Improvement by Source-to-Source Transformation
+Normal rank
@@ Property / cites work @@
+Q5674962
@@ Property / cites work: Q5674962 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation Correctness Involving a Language with <scp>goto</scp> Statements
+Normal rank
@@ Property / cites work @@
+The denotational semantics of programming languages
+Normal rank
@@ Property / cites work @@
+Q5653569
@@ Property / cites work: Q5653569 / rank @@
+Normal rank