Author:
Glück Robert,Yokoyama Tetsuo
Funder
Japan Society for the Promotion of Science London
Japan Society for the Promotion of Science
Nanzan University
Københavns Universitet
Subject
General Computer Science,Theoretical Computer Science
Reference119 articles.
1. Combining semantics with non-standard interpreter hierarchies;Abramov,2000
2. The universal resolving algorithm: inverse computation in a functional language;Abramov,2000
3. From standard to non-standard semantics by semantics modifiers;Abramov;Int. J. Found. Comput. Sci.,2001
4. Principles of inverse computation and the universal resolving algorithm;Abramov,2002
5. The universal resolving algorithm and its correctness: inverse computation in a functional language;Abramov;Sci. Comput. Program.,2002
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Partial Evaluation of Reversible Flowchart Programs;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
2. Jeopardy: An Invertible Functional Programming Language;Lecture Notes in Computer Science;2024
3. Towards Clean Reversible Lossless Compression;Lecture Notes in Computer Science;2024
4. Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware;Lecture Notes in Computer Science;2024
5. Compositional Reversible Computation;Lecture Notes in Computer Science;2024