Reversible computing from a programming language perspective (Q2693633): Difference between revisions

From MaRDI portal
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(7 intermediate revisions by 3 users not shown)
Property / cites work
 
Property / cites work: SyReC / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4472445 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2721101 / rank
 
Normal rank
Property / cites work
 
Property / cites work: FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4414734 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The universal resolving algorithm and its correctness: Inverse computation in a functional language / rank
 
Normal rank
Property / cites work
 
Property / cites work: A structural approach to reversible computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Simple and Efficient Universal Reversible Turing Machine / rank
 
Normal rank
Property / cites work
 
Property / cites work: What Do Reversible Programs Compute? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversible Representation and Manipulation of Constructor Terms in the Heap / rank
 
Normal rank
Property / cites work
 
Property / cites work: On reversible Turing machines and their function universality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Programming Techniques for Reversible Comparison Sorts / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversible Machine Code and Its Abstract Processor Architecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical Reversibility of Computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Time/Space Trade-Offs for Reversible Computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Data structures and dynamic memory management in reversible languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversible Computing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3907049 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4151136 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nondeterministic Algorithms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conservative logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A categorical foundation for structured reversible flowchart languages: Soundness and adequacy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Programming Languages and Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5472880 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2729911 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructing a binary tree from its traversals by reversible recursion and iteration / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q6049242 / rank
 
Normal rank
Property / cites work
 
Property / cites work: From reversible programming languages to reversible metalanguages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3925859 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On DNA-Based Gellular Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Implementing reversible object-oriented language features on reversible machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards a Unified Language Architecture for Reversible Object-Oriented Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversible nondeterministic finite automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5287559 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Join inverse categories and reversible recursion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semi-inversion of Conditional Constructor Term Rewriting Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4051550 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithm = logic + control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Time and space complexity of reversible pebbling / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compiling Janus to RSSA / rank
 
Normal rank
Property / cites work
 
Property / cites work: Irreversibility and Heat Generation in the Computing Process / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cauder: a causal-consistent reversible debugger for Erlang / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversible space equals deterministic space / rank
 
Normal rank
Property / cites work
 
Property / cites work: A formal approach to undo operations in programming languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear programs in a simple reversible language. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recursive functions of symbolic expressions and their computation by machine, Part I / rank
 
Normal rank
Property / cites work
 
Property / cites work: RSSA: A Reversible SSA Form / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversible Functional Array Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory of reversible computing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mathematics of Program Construction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Involutory Turing machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversible computation in term rewriting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real-Time Methods in Reversible Computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3763607 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On reversible subroutines and computers that run backwards / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversible arithmetic logic unit for quantum arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Invertible cellular automata: A review / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3886867 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversible computations in logic programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards a Design Flow for Reversible Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversible Flowchart Languages and the Structured Reversible Program Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5389329 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards a Reversible Functional Language / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fundamentals of reversible flowchart languages / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: LRinv / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: SyReC / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: GDB / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: CauDEr / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2022.06.010 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4312081346 / rank
 
Normal rank

Latest revision as of 19:31, 31 July 2024

scientific article
Language Label Description Also known as
English
Reversible computing from a programming language perspective
scientific article

    Statements

    Reversible computing from a programming language perspective (English)
    0 references
    0 references
    0 references
    24 March 2023
    0 references
    reversible computing
    0 references
    reversible programming
    0 references
    function injectivization
    0 references
    program reversibilization
    0 references
    program inversion
    0 references
    inverse interpretation
    0 references
    compute-uncompute
    0 references
    metacomputation
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers