Scoped Types and Aspects for Real-Time Java
No abstract available.
Related papers
- Region inference for an object-oriented language PLDI 2004
- Classbox/J: controlling the scope of change in Java OOPSLA 2005
- Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications OOPSLA 2020
- Zones, Contracts and Absorbing Changes: An Approach to Software Evolution OOPSLA 1999
- Ownership types for safe region-based memory management in real-time Java PLDI 2003
- Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers ECOOP 2021
- A theory of aspects ICFP 2003
- Mint: Java multi-stage programming using weak separability PLDI 2010