Search results
From MaRDI portal
- Schemes into Reversible and Classical Interacting Threads 2021-11-03 Paper On the expressivity of total reversible programming languages 2021-07-05 Paper...10 bytes (16 words) - 03:15, 12 December 2023
- expressivity of total reversible programming languages 2021-07-05 Paper The fixed point problem of a simple reversible language 2020-04-21 Paper A class...10 bytes (14 words) - 15:22, 6 October 2023
- Certified Study of a Reversible Programming Language 2018-08-13 Paper Intuitionistic Light Affine Logic 2017-06-13 Paper A class of reversible primitive recursive...10 bytes (13 words) - 09:18, 7 October 2023
- structured reversible flowchart languages: Soundness and adequacy 2018-09-06 Paper Implementing reversible object-oriented language features on reversible machines...10 bytes (15 words) - 02:16, 25 September 2023
- Towards a Domain-Specific Language for Reversible Assembly Sequences 2016-09-30 Paper Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable...10 bytes (15 words) - 18:01, 13 December 2023
- Quantum Maps 2022-06-09 Paper From reversible programming languages to reversible metalanguages 2022-05-17 Paper Reversible effects as inverse arrows 2022-05-03...10 bytes (15 words) - 19:16, 6 October 2023
- de/entity/Q6197211 2024-02-16 Paper Reversible computing from a programming language perspective 2023-03-24 Paper Reversible Programs Have Reversible Semantics 2022-12-07...10 bytes (14 words) - 11:53, 7 October 2023
- cellular automata with reversible Mealy cells 2018-03-08 Paper Tinput-Driven Pushdown, Counter, and Stack Automata 2018-01-19 Paper Reversible Queue Automata 2017-11-09...10 bytes (13 words) - 10:23, 6 October 2023
- concurrent reversible programming language 2024-11-13 Paper revTPL: The Reversible Temporal Process Language 2024-03-11 Paper A reversible debugger for...10 bytes (13 words) - 18:08, 21 September 2023
- and Optimising Reversible Logic Using a Functional Language 2016-11-09 Paper Ricercar: A Language for Describing and Rewriting Reversible Circuits with...10 bytes (16 words) - 11:12, 24 September 2023
- Towards a Reversible Functional Language 2012-08-20 Paper Time Complexity of Tape Reduction for Reversible Turing Machines 2012-08-20 Paper Reversible Multi-head...10 bytes (17 words) - 06:27, 7 October 2023
- Paper QPCF: higher-order languages and quantum circuits 2019-10-25 Paper A Certified Study of a Reversible Programming Language 2018-08-13 Paper Essential...10 bytes (13 words) - 09:18, 7 October 2023
- Assembling Specific Languages 2010-09-10 Paper On the efficient construction of quasi-reversible automata for reversible languages 2010-04-19 Paper On...10 bytes (14 words) - 12:44, 6 October 2023
- Paper Implementing reversible object-oriented language features on reversible machines 2018-03-16 Paper Introduction to compiler design 2018-02-28 Paper...10 bytes (15 words) - 12:35, 7 December 2023
- Paper Reversible Shrinking Two-Pushdown Automata 2016-04-13 Paper One-Way Reversible Multi-head Finite Automata 2015-11-30 Paper Minimal Reversible Deterministic...10 bytes (13 words) - 07:02, 7 October 2023
- Unified Language Architecture for Reversible Object-Oriented Programming 2021-11-03 Paper Data structures and dynamic memory management in reversible languages...10 bytes (13 words) - 21:00, 24 September 2023
- Date of Publication Type \(\mathsf{CoreFun}\): a typed functional reversible core language 2018-10-17 Paper...10 bytes (17 words) - 11:12, 24 September 2023
- Unified Language Architecture for Reversible Object-Oriented Programming 2021-11-03 Paper Data structures and dynamic memory management in reversible languages...10 bytes (15 words) - 11:12, 24 September 2023
- Choreographic Languages 2023-08-26 Paper Reversibility in Erlang: imperative constructs 2022-11-11 Paper The reversible temporal process language 2022-08-19...10 bytes (14 words) - 14:14, 6 October 2023
- revTPL: The Reversible Temporal Process Language 2024-03-11 Paper Testing for coordination fidelity 2024-02-23 Paper Towards a taxonomy for reversible computation...10 bytes (15 words) - 14:14, 6 October 2023
