MetaDL : Declarative program analysis for the masses
(2019) 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 In SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity p.17-18- Abstract
While Datalog provides a high-level language for expressing static program analyses, it depends on external tooling to extract the input facts from the analyzed programs. To remove this dependency, we present MetaDL. The MetaDL system consists of a Datalog language extension for source-level program analysis and tools for generating the language extension from a description of the analyzed language.
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/5e553617-af64-41f2-8b07-36215a854256
- author
- Dura, Alexandru LU and Balldin, Hampus
- organization
- publishing date
- 2019-10-20
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- keywords
- Datalog, Domain-Specific Languages, Pattern Matching, Static Analysis
- host publication
- SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications : Software for Humanity - Software for Humanity
- series title
- SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
- editor
- Smaragdakis, Yannis
- pages
- 2 pages
- publisher
- Association for Computing Machinery (ACM)
- conference name
- 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019
- conference location
- Athens, Greece
- conference dates
- 2019-10-20 - 2019-10-25
- external identifiers
-
- scopus:85076734923
- ISBN
- 9781450369923
- DOI
- 10.1145/3359061.3362781
- project
- Performance bug detection through combined static and dynamic program analysis
- language
- English
- LU publication?
- yes
- id
- 5e553617-af64-41f2-8b07-36215a854256
- date added to LUP
- 2020-01-13 13:02:53
- date last changed
- 2022-04-18 20:10:26
@inproceedings{5e553617-af64-41f2-8b07-36215a854256, abstract = {{<p>While Datalog provides a high-level language for expressing static program analyses, it depends on external tooling to extract the input facts from the analyzed programs. To remove this dependency, we present MetaDL. The MetaDL system consists of a Datalog language extension for source-level program analysis and tools for generating the language extension from a description of the analyzed language.</p>}}, author = {{Dura, Alexandru and Balldin, Hampus}}, booktitle = {{SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications : Software for Humanity}}, editor = {{Smaragdakis, Yannis}}, isbn = {{9781450369923}}, keywords = {{Datalog; Domain-Specific Languages; Pattern Matching; Static Analysis}}, language = {{eng}}, month = {{10}}, pages = {{17--18}}, publisher = {{Association for Computing Machinery (ACM)}}, series = {{SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity}}, title = {{MetaDL : Declarative program analysis for the masses}}, url = {{http://dx.doi.org/10.1145/3359061.3362781}}, doi = {{10.1145/3359061.3362781}}, year = {{2019}}, }