Linear programs in a simple reversible language.
From MaRDI portal
Publication:1401215
DOI10.1016/S0304-3975(02)00486-3zbMath1044.68026MaRDI QIDQ1401215
Publication date: 17 August 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (8)
Fundamentals of reversible flowchart languages ⋮ Certifying expressive power and algorithms of reversible primitive permutations with \textsf{Lean} ⋮ Reversible computing from a programming language perspective ⋮ The fixed point problem of a simple reversible language ⋮ A class of recursive permutations which is primitive recursive complete ⋮ Splitting Recursion Schemes into Reversible and Classical Interacting Threads ⋮ A class of reversible primitive recursive functions ⋮ Certifying algorithms and relevant properties of reversible primitive permutations with \textsf{Lean}
Cites Work
This page was built for publication: Linear programs in a simple reversible language.
