DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
zbMATH Open1477.80001arXiv1511.01566MaRDI QIDQ5015183FDOQ5015183
Authors: Samson Abramsky, Dominic Horsman 
Publication date: 6 December 2021
Full work available at URL: https://arxiv.org/abs/1511.01566
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
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)
Cites Work
- Irreversibility and Heat Generation in the Computing Process
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Landauer defended: reply to Norton
- Waiting for Landauer
- 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
- Title not available (Why is that?)
- Landauer's erasure, error correction and entanglement
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)
