From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility
Abstract elided by the publisher.
Related papers
- Defining Name Accessibility Using Scope Graphs ECOOP 2024
- Differentially Private Runtime Monitoring CAV 2026
- Side-channel Elimination via Partial Control-flow Linearization TOPLAS 2023
- The Chemical Approach to Typestate-Oriented Programming TOPLAS 2017
- The chemical approach to typestate-oriented programming OOPSLA 2015
- Oblivious algebraic data types POPL 2022
- RT-trust: automated refactoring for trusted execution under real-time constraints GPCE 2018
- Representing Java Classes in a Typed Intermediate Language ICFP 1999