Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis (Artifact)
This is the software artifact for the paper "Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis" published in SLE 2024.This artifact supports the evaluation of a new demand-driven algorithm for efficient circular Reference Attribute Grammar evaluation, specifically designed to improve performance of higly circular applications, e.g., dataflow analyses for Java. The artifac