Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
58 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 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
2. Fifty Years of Prolog and Beyond;Theory and Practice of Logic Programming;2022-05-17
3. Computing Abstract Distances in Logic Programs;Logic-Based Program Synthesis and Transformation;2020
4. Automated Data Structure Generation: Refuting Common Wisdom;2015 IEEE/ACM 37th IEEE International Conference on Software Engineering;2015-05
5. Description and Optimization of Abstract Machines in a Dialect of Prolog;Theory and Practice of Logic Programming;2015-01-05