Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)

Datalog engines for fixpoint evaluation have brought great benefits to static program analysis over the past decades. A Datalog specification of an analysis allows a declarative, easy-to-maintain specification, without sacrificing performance, and indeed often achieving significant speedups compared...

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. 9; no. OOPSLA2; pp. 2199 - 2226
Main Authors:	Antoniadis, Anastasios, Tsatiris, Ilias, Grech, Neville, Smaragdakis, Yannis
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 09.10.2025
Subjects:	Constraint and logic programming Program analysis Theory of computation logic programming optimization Static analysis program analysis datalog
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!