Description
A talk on the MetaDL program analysis languagePeriod | 2019 Jun 23 |
---|---|
Event title | Workshop on Declarative Program Analysis |
Event type | Workshop |
Conference number | 2019 |
Location | Phoenix, AZ, United StatesShow on map |
Degree of Recognition | International |
UKÄ subject classification
- Computer Science
Documents & Links
Related content
-
Projects
-
Performance bug detection through combined static and dynamic program analysis
Project: Dissertation
-
Research output
-
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
Research output: Contribution to journal › Article › peer-review
-
MetaDL: Analysing Datalog in Datalog
Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review