Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity
Abstract elided by the publisher.
Related papers
- Data abstraction and information hiding TOPLAS 2002
- Modular Termination Verification of Single-Threaded and Multithreaded Programs TOPLAS 2018
- Symbolic pointer analysis revisited PLDI 2004
- Safe, modular packet pipeline programming POPL 2022
- Quantum information effects POPL 2022
- Revisiting Iso-Recursive Subtyping TOPLAS 2022
- Revisiting iso-recursive subtyping OOPSLA 2020
- "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time POPL 1983