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

@@ Property / DOI @@
-.1016/j.tcs.2006.12.020
@@ Property / DOI: 10.1016/j.tcs.2006.12.020 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.12.020
+Normal rank
@@ Property / OpenAlex ID @@
+W2170606418
@@ Property / OpenAlex ID: W2170606418 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.TCS.2006.12.020
@@ Property / DOI: 10.1016/J.TCS.2006.12.020 / rank @@
+Normal rank