Combining Datalog and SAT-Based Solving in Code-Reasoning Tools [electronic resource]
- 주제(키워드) Datalog programs , Logic programming , Static analyses , Program synthesis , SAT solving , SMT solving
- 발행기관 Harvard University
- 발행년도 2023
- 학과 및 전공 Engineering and Applied Sciences - Computer Science
- ISBN 9798380848657
- UCI I804:11009-000000282990
- DOI 10.23186/korea.000000282990.11009.0001448
- 제출원본 PQDT30639178
