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

@@ Property / describes a project that uses @@
+IBM PC Assembler
@@ Property / describes a project that uses: IBM PC Assembler / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1309251