DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
From MaRDI portal
Publication:5015183
programming languagesecond law of thermodynamicsthermodynamic processesLandauer's hypothesisMaxwell's DemonNorton-Ladyman controversy
Theory of programming languages (68N15) Quantum computation (81P68) Classical and relativistic thermodynamics (80A10) Contextuality in quantum theory (81P13) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Software, source code, etc. for problems pertaining to classical thermodynamics (80-04)
Recommendations
- Maxwell's demon and the thermodynamics of computation
- Eaters of the lotus: Landauer's principle and the return of Maxwell's demon
- Landauer defended: reply to Norton
- EXORCIST XIV: the wrath of Maxwell's demon. II: From Szilard to Landauer and beyond
- Notes on Landauer's principle, reversible computation, and Maxwell's demon
Cites work
- scientific article; zbMATH DE number 3764843 (Why is no real title available?)
- scientific article; zbMATH DE number 49477 (Why is no real title available?)
- An axiomatic basis for computer programming
- Irreversibility and Heat Generation in the Computing Process
- Landauer defended: reply to Norton
- Landauer's erasure, error correction and entanglement
- The (absence of a) relationship between thermodynamic and logical reversibility
- The connection between logical and thermodynamic irreversibility
- The use of the information-theoretic entropy in thermodynamics
- Waiting for Landauer
Cited in
(4)
This page was built for publication: DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015183)
