DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.

MaRDI QIDQ5015183zbMATH OpenFDO

Authors Samson Abramsky, Dominic Horsman

Publication date 6 December 2021

Full work available at URL https://arxiv.org/abs/1511.01566, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2015.1

zbMATH Keywords

Landauer's hypothesisMaxwell's DemonNorton-Ladyman controversyprogramming languagesecond law of thermodynamicsthermodynamic processes

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Software, source code, etc. for problems pertaining to classical thermodynamics (80-04) Classical and relativistic thermodynamics (80A10) Contextuality in quantum theory (81P13) Quantum computation (81P68)

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

• An axiomatic basis for computer programming
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 49477 (Why is no real title available?)
• 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)

• Identifying functional thermodynamics in autonomous Maxwellian ratchets
• DEMONIC
• Join inverse rig categories for reversible functional programming, and beyond
• Maxwell's demon and the thermodynamics of computation

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)