Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis
Abstract elided by the publisher.
Related papers
- Charon: An Analysis Framework for Rust CAV 2025
- Transparent Object Proxies in JavaScript ECOOP 2015
- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution) TACAS 2021
- Polymorphic Effect Systems POPL 1988
- ARMI: an adaptive, platform independent communication library PPoPP 2003
- Side-Effect Analysis of Assembly Code SAS 2011
- Purity and Side Effect Analysis for Java Programs VMCAI 2005
- Improving Thread-Modular Abstract Interpretation SAS 2021