Why Use Datalog to Analyze Programs?

DOI10.1007/11799573_1MaRDI QIDQ5449586zbMATH OpenOpenAlexFDO

Authors Monica S. Lam

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_1

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Programming Languages and Systems
• scientific article; zbMATH DE number 2090838
• Precise complexity guarantees for pointer analysis via Datalog with extensions
• Defining Datalog in Rewriting Logic
• On the complexity analysis of static analyses

Cited in

(3)

• Accelerating program analyses in Datalog by merging library facts
• Precise complexity guarantees for pointer analysis via Datalog with extensions
• scientific article; zbMATH DE number 2090838 (Why is no real title available?)

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Why Use Datalog to Analyze Programs?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5449586)