Author:
Abramov Sergei,Glück Robert
Publisher
Springer Berlin Heidelberg
Reference52 articles.
1. S. M. Abramov. RuMetavychislenija i logicheskoe programmirovanie (Metacomputation and logic programming). Programmirovanie, 3:31–44, 1991. (In Russian).
2. Lect Notes Comput Sci;S. M. Abramov,2000
3. Lect Notes Comput Sci;S. M. Abramov,2000
4. S. M. Abramov, R.Glück. From standard to non-standard semantics by semantics modifiers. International Journal of Foundations of Computer Science, 12(2):171–211, 2001.
5. S. M. Abramov, R. Glück. The universal resolving algorithm and its correctness: inverse computation in a functional language. Science of Computer Programming, 43(2–3):193–229, 2002.
Cited by
19 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. A Case Study in Functional Conversion and Mode Inference in miniKanren;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
3. Reverse Template Processing Using Abstract Interpretation;Static Analysis;2023
4. A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs;Reversible Computation: Extending Horizons of Computing;2020
5. Design and Engineering of Adaptive Software Systems;Engineering Adaptive Software Systems;2019