MetaDL and Beyond: Custom Program Analyses in Datalog

Aktivitet: Föredrag eller presentationPresentation

Beskrivning

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

Ämnesklassifikation (UKÄ)

  • Datavetenskap (datalogi)