Export Citations
1 Results for: Book/Issue: SPLASH Companion 2019: Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,823,348 records)|Limit your search to The ACM Full-Text Collection (772,531 records)
Showing 1 - 1of1 Results
Select All
- abstractOctober 2019
MetaDL: declarative program analysis for the masses
SPLASH Companion 2019: Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for HumanityPages 17–18https://doi.org/10.1145/3359061.3362781While Datalog provides a high-level language for expressing static program analyses, it depends on external tooling to extract the input facts from the analyzed programs. To remove this dependency, we present MetaDL. The MetaDL system consists of a ...
