Fundamentals of reversible flowchart languages
From MaRDI portal
(Redirected from Publication:896906)
Recommendations
Cites work
- scientific article; zbMATH DE number 3669835 (Why is no real title available?)
- scientific article; zbMATH DE number 3740740 (Why is no real title available?)
- scientific article; zbMATH DE number 3759513 (Why is no real title available?)
- scientific article; zbMATH DE number 3471564 (Why is no real title available?)
- scientific article; zbMATH DE number 3550181 (Why is no real title available?)
- scientific article; zbMATH DE number 1953282 (Why is no real title available?)
- scientific article; zbMATH DE number 3421895 (Why is no real title available?)
- A Universal Reversible Turing Machine
- A formal approach to undo operations in programming languages
- A program inverter for a functional language with equality and constructors.
- A programmable editor for developing structured documents based on bidirectional transformations
- A simple and efficient universal reversible Turing machine
- A structural approach to reversible computation
- CONCUR 2004 - Concurrency Theory
- Computation and construction universality of reversible cellular automata
- Conservative logic
- FliPpr: a prettier invertible printing system
- Flow diagrams, turing machines and languages with only two formation rules
- Functional and Logic Programming
- Information effects
- Irreversibility and Heat Generation in the Computing Process
- Linear programs in a simple reversible language.
- Logical Reversibility of Computation
- Mathematics of Program Construction
- Optimizing reversible simulation of injective functions
- Reversible Computing
- Reversible Flowchart Languages and the Structured Reversible Program Theorem
- Reversible Machine Code and Its Abstract Processor Architecture
- Reversible Representation and Manipulation of Constructor Terms in the Heap
- Reversible arithmetic logic unit for quantum arithmetic
- Reversible combinatory logic
- Reversible computing and cellular automata -- a survey
- Reversing algebraic process calculi
- Synthesis and optimization of reversible circuits -- a survey
- Term Rewriting and Applications
- Theory of cellular automata: a survey
- Time/Space Trade-Offs for Reversible Computation
- Towards a design flow for reversible logic
- Towards a reversible functional language
- What do reversible programs compute?
- \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis
Cited in
(26)- Towards causal-consistent reversibility of imperative concurrent programs
- Optimization of reversible control flow graphs
- Towards a taxonomy for reversible computation approaches
- Towards a dereversibilizer: fewer asserts, statically
- From reversible programming languages to reversible metalanguages
- Towards a reversible functional language
- Compiling Janus to RSSA
- Categorical semantics of reversible pattern-matching
- Join inverse rig categories for reversible functional programming, and beyond
- scientific article; zbMATH DE number 4041240 (Why is no real title available?)
- The fixed point problem of a simple reversible language
- A categorical foundation for structured reversible flowchart languages
- What do reversible programs compute?
- Condition/decision duality and the internal logic of extensive restriction categories
- Reversible computing from a programming language perspective
- Reversible computation in term rewriting
- On reversible Turing machines and their function universality
- Reversible Flowchart Languages and the Structured Reversible Program Theorem
- Algorithmically expressive, always-terminating model for reversible computation
- Optimizing reversible programs
- scientific article; zbMATH DE number 7806139 (Why is no real title available?)
- A categorical foundation for structured reversible flowchart languages: soundness and adequacy
- Linear programs in a simple reversible language.
- Join inverse categories and reversible recursion
- Programming techniques for reversible comparison sorts
- Reversible Machine Code and Its Abstract Processor Architecture
This page was built for publication: Fundamentals of reversible flowchart languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q896906)
