A Declarative Framework for Analysis and Optimization
No abstract available.
Related papers
- Strictly declarative specification of sophisticated points-to analyses OOPSLA 2009
- Towards Ontology-Based Program Analysis ECOOP 2016
- FlowSpec: declarative dataflow analysis specification SLE 2017
- Grafs: declarative graph analytics ICFP 2021
- Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning) OOPSLA 2025
- Declarative coordination of graph-based parallel programs PPoPP 2016
- JavaCOP: Declarative pluggable types for java TOPLAS 2010
- Natural semantics as a static program analysis framework TOPLAS 2004