MetaDL and Beyond: Custom Program Analyses in Datalog

Aktivitet: Föredrag eller presentation › Presentation

Beskrivning

A talk on the MetaDL program analysis language
Period2019 juni 23
EvenemangstitelWorkshop on Declarative Program Analysis
Typ av evenemangWorkshop
Konferensnummer2019
PlatsPhoenix, AZ, USAVisa på karta
OmfattningInternationell

Ämnesklassifikation (UKÄ)

  • Datavetenskap (datalogi)

Dokument och länkar

Relaterat innehåll