scientific article

From MaRDI portal

Revision as of 19:22, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2852100

Jump to:navigation, search

zbMath1273.68215MaRDI QIDQ2852100

Tarmo Uustalu, Ando Saabas

Publication date: 7 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002222

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (4)

Refinement-Based Verification of Communicating Unstructured Code ⋮ A compositional natural semantics and Hoare logic for low-level languages ⋮ Fully abstract trace semantics for protected module architectures ⋮ Program and proof optimizations with type systems

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2852100&oldid=15784018"