MetaDL: Analysing Datalog in Datalog

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceedingPeer review

4 Citeringar (SciVal)

Sammanfattning

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.
Originalspråkengelska
Titel på värdpublikationSOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
FörlagAssociation for Computing Machinery (ACM)
Sidor38-43
Antal sidor6
ISBN (tryckt)978-1-4503-6720-2
DOI
StatusPublished - 2019
Evenemang8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 - Phoenix, USA
Varaktighet: 2019 juni 222019 juni 26

Workshop

Workshop8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019
Land/TerritoriumUSA
OrtPhoenix
Period2019/06/222019/06/26

Ämnesklassifikation (UKÄ)

  • Datavetenskap (datalogi)

Citera det här