Pervasive Theory of Memory

DOI10.1007/978-3-642-03456-5_5MaRDI QIDQ3644715zbMATH OpenOpenAlexFDO

Authors Ulan Degenbaev, Wolfgang J. Paul, 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)

Recommendations

• A unified theory of shared memory consistency
• Programmer-centric memory consistency modelling
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Transactional Memory: Glimmer of a Theory
• The Java memory model

Cites work

• A unified theory of shared memory consistency
• Correct Hardware Design and Verification Methods
• Formal certification of a compiler back-end or: programming a compiler with a proof assistant
• scientific article; zbMATH DE number 1485863 (Why is no real title available?)
• Logic for Programming, Artificial Intelligence, and Reasoning

Cited in

(2)

• Perpetual learning and apparent long memory
• About the theory of mnemofunctions and its

Describes a project that uses

Uses Software

• Isabelle/HOL

This page was built for publication: Pervasive Theory of Memory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3644715)