Pervasive Theory of Memory

DOI10.1007/978-3-642-03456-5_5zbMath1258.68042OpenAlexW1782924662MaRDI QIDQ3644715

Wolfgang J. Paul, Ulan Degenbaev, Norbert W. Schirmer

Publication date: 12 November 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03456-5_5

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Isabelle/HOL

Cites Work

• Unnamed Item
• A unified theory of shared memory consistency
• Formal certification of a compiler back-end or
• Correct Hardware Design and Verification Methods
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication: Pervasive Theory of Memory