Creichen: Created page with "Joint work with Alexandru Dura, Hampus Balldin, Emma Söderberg Datalog and its relatives have emerged as useful tools for concisely expressing highly efficient program analy..."

2020-02-06T07:51:45Z

Created page with "Joint work with Alexandru Dura, Hampus Balldin, Emma Söderberg Datalog and its relatives have emerged as useful tools for concisely expressing highly efficient program analy..."

New page

Joint work with Alexandru Dura, Hampus Balldin, Emma Söderberg

Datalog and its relatives have emerged as useful tools for concisely
expressing highly efficient program analyses. However, to build a
practical program analyses in Datalog today, writing Datalog code
alone is not enough: we must also hand-code "fact extractors" that
translate the source language into database tables that are palatable
to Datalog engines like Soufflé.

MetaDL unifies both of these components by making syntactic patterns
over the source language available within Datalog rules. Our curent
implementation allows us to analyse Datalog within Datalog, but (time
permitting) I will also discuss ongoing work on support for other
languages as well as for program transformation.

WG211/M20Reichenbach - Revision history

Creichen: Created page with "Joint work with Alexandru Dura, Hampus Balldin, Emma Söderberg Datalog and its relatives have emerged as useful tools for concisely expressing highly efficient program analy..."