Author:
Scholz Bernhard,Vorobyov Kostyantyn,Krishnan Padmanabhan,Westmann Till
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Flan: An Expressive and Efficient Datalog Compiler for Program Analysis;Proceedings of the ACM on Programming Languages;2024-01-05
2. Interactive Debugging of Datalog Programs;Proceedings of the ACM on Programming Languages;2023-10-16
3. Transpilers: A Systematic Mapping Review of Their Usage in Research and Industry;Applied Sciences;2023-03-13
4. A specialized B-tree for concurrent datalog evaluation;Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming;2019-02-16
5. lp2cpp: A Tool For Compiling Stratified Logic Programs;AI*IA 2017 Advances in Artificial Intelligence;2017