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
• Concurrent constraint-based memory machines: A framework for Java memory models
• Transactional Memory: Glimmer of a Theory
• The Java memory model

Cites work

• A unified theory of shared memory consistency
• A verification environment for sequential imperative programs in Isabelle/HOL
• Computer architecture. Complexity and correctness
• Correct Hardware Design and Verification Methods
• Formal certification of a compiler back-end or: programming a compiler with a proof assistant

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)