MetaDL: Declarative program analysis for the masses

Alexandru Dura, Hampus Balldin

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

Sammanfattning

While 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 Datalog language extension for source-level program analysis and tools for generating the language extension from a description of the analyzed language.

Originalspråkengelska
Titel på värdpublikationSPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications
Undertitel på värdpublikationSoftware for Humanity
RedaktörerYannis Smaragdakis
FörlagAssociation for Computing Machinery (ACM)
Sidor17-18
Antal sidor2
ISBN (elektroniskt)9781450369923
DOI
StatusPublished - 2019 okt. 20
Evenemang2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 - Athens, Grekland
Varaktighet: 2019 okt. 202019 okt. 25

Publikationsserier

NamnSPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

Konferens

Konferens2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019
Land/TerritoriumGrekland
OrtAthens
Period2019/10/202019/10/25

Ämnesklassifikation (UKÄ)

  • Programvaruteknik

Fingeravtryck

Utforska forskningsämnen för ”MetaDL: Declarative program analysis for the masses”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här