8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019,Phoenix, United States,2019-06-22 - 2019-06-26, 2019, p.38-43
2019
Volltextzugriff (PDF)
Details
- Autor(en) / Beteiligte
- Titel
- MetaDL: analysing Datalog in Datalog
- Ist Teil von
- 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019,Phoenix, United States,2019-06-22 - 2019-06-26, 2019, p.38-43
- Ort / Verlag
- New York, NY, USA: ACM
- Erscheinungsjahr
- 2019
- Quelle
- ACM Digital Library
- Beschreibungen/Notizen
- Datalog has emerged as a powerful tool for expressing static program analyses. Program analysis researchers have built nontrivial code bases in Datalog, but tool support for working with Datalog itself has been lacking. In this paper, we introduce MetaDL, a language extension to Datalog that enables source-level Datalog program analysis within Datalog. We describe several program analyses implemented in MetaDL and report on initial experiences. Our findings show that the language is effective for real-life Datalog analysis and can simplify working with Datalog source code.
- Sprache
- Englisch
- Identifikatoren
- ISBN: 1450367208, 9781450367202DOI: 10.1145/3315568.3329970Titel-ID: cdi_acm_books_10_1145_3315568_3329970
- Format
- –
- Schlagworte
- Computer and Information Science, Computer Science, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Naturvetenskap, Software and its engineering -- Software notations and tools -- Context specific languages -- Domain specific languages, Software and its engineering -- Software notations and tools -- General programming languages -- Language types -- Constraint and logic languages, Software and its engineering -- Software organization and properties -- Software functional properties -- Formal methods -- Automated static analysis, Theory of computation -- Design and analysis of algorithms -- Data structures design and analysis -- Pattern matching