Purity and Side Effect Analysis for Java Programs
Abstract elided by the publisher.
Related papers
- Dynamic Dependency-Based Purity Checking SLE 2025
- Reim & ReImInfer: checking and inference of reference immutability and method purity OOPSLA 2012
- Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism ECOOP 2023
- JPure: A Modular Purity System for Java CC 2011
- Purity Analysis: An Abstract Interpretation Formulation SAS 2011
- Effects as capabilities: effect handlers and lightweight effect polymorphism OOPSLA 2020
- Functional Programming and the Logical Variable POPL 1985
- Type-based race detection for Java PLDI 2000