Publication:2852100
From MaRDI portal
zbMath1273.68215MaRDI QIDQ2852100
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002222
68N15: Theory of programming languages
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
Related Items
Refinement-Based Verification of Communicating Unstructured Code, A compositional natural semantics and Hoare logic for low-level languages, Program and proof optimizations with type systems, Fully abstract trace semantics for protected module architectures