Modular Class Analysis with DATALOG
No abstract available.
DOI 10.1007/3-540-44898-5_2
Related papers
- Flix: A Design for Language-Integrated Datalog OOPSLA 2025
- Flan: An Expressive and Efficient Datalog Compiler for Program Analysis POPL 2024
- Fixpoints for the masses: programming with first-class Datalog constraints OOPSLA 2020
- Mono Types - First-Class Containers for Datalog ECOOP 2025
- Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints ECOOP 2023
- Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog ESOP 2019
- Class-Level Modular Analysis for Object Oriented Languages SAS 2003
- Using Datalog with Binary Decision Diagrams for Program Analysis APLAS 2005