Publisher
Springer International Publishing
Reference8 articles.
1. Apt, K.: From Logic Programming to Prolog. Prentice Hall, Upper Saddle River (1997)
2. Ducassé, M.: Opium: an extendable trace analyzer for prolog. J. Log. Program. 39(1–3), 177–223 (1999).
https://doi.org/10.1016/S0743-1066(98)10036-5
3. Landauer, R.: Irreversibility and heat generation in the computing process. IBM J. Res. Dev. 5, 183–191 (1961)
4. Lecture Notes in Computer Science;I Lanese,2019
5. Lloyd, J.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987).
https://doi.org/10.1007/978-3-642-83189-8
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reversible computing from a programming language perspective;Theoretical Computer Science;2023-04
2. Reversible Debugging in Logic Programming;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023