JPure: A Modular Purity System for Java
No abstract available.
Related papers
- Purity and Side Effect Analysis for Java Programs VMCAI 2005
- Dynamic Dependency-Based Purity Checking SLE 2025
- Reim & ReImInfer: checking and inference of reference immutability and method purity OOPSLA 2012
- Twist: sound reasoning for purity and entanglement in Quantum programs POPL 2022
- Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism ECOOP 2023
- Witnessing Purity, Constancy and Mutability APLAS 2009
- Purity Analysis: An Abstract Interpretation Formulation SAS 2011
- Recovering purity with comonads and capabilities ICFP 2020