Author:
Dawson Steven,Ramakrishnan C. R.,Warren David S.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Toward Declarative Auditing of Java Software for Graceful Exception Handling;Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes;2024-09-13
2. Optimizing Nested Recursive Queries;Proceedings of the ACM on Management of Data;2024-03-12
3. Annotative Software Product Line Analysis Using Variability-Aware Datalog;IEEE Transactions on Software Engineering;2023-03-01
4. SnR;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
5. Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives;Information;2020-03-22