Author:
Dandois Céline,Vanhoof Wim
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Apt, K.: Logic programming. In: Handbook of Theoretical Computer Science. Formal Models and Sematics, vol. B, pp. 493–574. Elsevier (1990)
2. Brown, C., Thompson, S.: Clone detection and elimination for Haskell. In: Proceedings of the 2010 SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, pp. 111–120. ACM (2010)
3. Chen, W., Kifer, M., Warren, D.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)
4. Lecture Notes in Computer Science;C. Dandois,2012
5. Leuschel, M.: Advanced Techniques for Logic Program Specialisation. Ph.D. thesis, Katholieke Universiteit Leuven (1997)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Dataflow Analysis for Comparing and Reordering Predicate Arguments;Electronic Proceedings in Theoretical Computer Science;2023-09-12
2. A Systematic Review of Semantic Clone Detection Techniques in Software Systems;IOP Conference Series: Materials Science and Engineering;2021-01-19
3. Generalization-Driven Semantic Clone Detection in CLP;Logic-Based Program Synthesis and Transformation;2020
4. Towards a framework for algorithm recognition in binary code;Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming;2016-09-05