Deriving correctness properties of compiled code (Q1309251): Difference between revisions

@@ Property / cites work @@
+Q4023828
@@ Property / cites work: Q4023828 / rank @@
+Normal rank
@@ Property / cites work @@
+The notion of proof in hardware verification
@@ Property / cites work: The notion of proof in hardware verification / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic definition of the programming language Pascal
+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 @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Compiler specification and verification
@@ Property / cites work: Compiler specification and verification / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing some advanced refinement concepts
@@ Property / cites work: Mechanizing some advanced refinement concepts / rank @@
+Normal rank
@@ Property / cites work @@
+A demonstrably correct compiler
@@ Property / cites work: A demonstrably correct compiler / rank @@
+Normal rank
@@ Property / cites work @@
+The use of ghost variables and virtual programming in the documentation and verification of programs
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01383985
+Normal rank
@@ Property / OpenAlex ID @@
+W2996838589
@@ Property / OpenAlex ID: W2996838589 / rank @@
+Normal rank