MetaDL: Analysing Datalog in Datalog

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

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.

Details

Authors
Organisations
External organisations
  • Lund University
Research areas and keywords

Subject classification (UKÄ) – MANDATORY

  • Computer Science
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
Publication statusPublished - 2019
Publication categoryResearch
Peer-reviewedYes
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
CountryUnited States
CityPhoenix
Period2019/06/222019/06/26

Related projects

Christoph Reichenbach

2017/10/162021/10/15

Project: ResearchIndividual research project, Internal collaboration (LU)

View all (2)

Related activities

Reichenbach, C. (Role not specified)
2019 Jun 23

Activity: Talk or presentationPresentation

View all (1)