MetaDL: Analysing Datalog in Datalog

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceedingpeer-review

4 Citations (SciVal)

Abstract

Datalog has emerged as a powerful tool for expressing static
program analyses. Program analysis researchers have built
nontrivial code bases in Datalog, but tool support for working
with Datalog itself has been lacking. In this paper, we
introduce MetaDL, a language extension to Datalog that
enables source-level Datalog program analysis within Datalog.
We describe several program analyses implemented in
MetaDL and report on initial experiences. Our findings show
that the language is effective for real-life Datalog analysis
and can simplify working with Datalog source code.
Original languageEnglish
Title of host publicationSOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
PublisherAssociation for Computing Machinery (ACM)
Pages38-43
Number of pages6
ISBN (Print)978-1-4503-6720-2
DOIs
Publication statusPublished - 2019
Event8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 - Phoenix, United States
Duration: 2019 Jun 222019 Jun 26

Workshop

Workshop8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019
Country/TerritoryUnited States
CityPhoenix
Period2019/06/222019/06/26

Subject classification (UKÄ)

  • Computer Science

Cite this