Description
A talk on the MetaDL program analysis language| Period | 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