A compositional natural semantics and Hoare logic for low-level languages (Q877026): Difference between revisions

@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Program proving: KJumps and functions
@@ Property / cites work: Program proving: KJumps and functions / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Goto statements: Semantics and deduction systems
@@ Property / cites work: Goto statements: Semantics and deduction systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+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 @@
+Axiomatic approach to side effects and general jumps
+Normal rank
@@ Property / cites work @@
+A critique of the foundations of Hoare style programming logics
+Normal rank
@@ Property / cites work @@
+Certified assembly programming with embedded code pointers
+Normal rank
@@ Property / cites work @@
+Theorem proving in higher order logics. 16th international conference, TPHOLs 2003, Rome, Italy, September 8--12, 2003. Proceedings
+Normal rank
@@ Property / cites work @@
+Q2852100
@@ Property / cites work: Q2852100 / rank @@
+Normal rank
@@ Property / cites work @@
+Program and proof optimizations with type systems
@@ Property / cites work: Program and proof optimizations with type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank