True Modules for Java-like Languages
No abstract available.
DOI 10.1007/3-540-45337-7_19
Related papers
- Transparent Modules with Fully Syntactic Signatures ICFP 1999
- Modular Verification of Concurrent Programs POPL 1982
- Specification of Abstract Data Types in Modula TOPLAS 1980
- Classbox/J: controlling the scope of change in Java OOPSLA 2005
- Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences OOPSLA 2025
- The java module system: core design and semantic definition OOPSLA 2007
- MJ: a rational module system for Java and its applications OOPSLA 2003
- Using Parameterized Signatures to Express Modular Structure POPL 1996