kirancodes.me
To Proof Maintenance & Beyond!

The java module system: core design and semantic definition

Rok Strnisa, Peter Sewell, Matthew J. Parkinson

Abstract

Java has no module system. Its packages only subdivide the class name space, allowing only a very limited form of component-level information hiding and reuse. Two Java Community Processes have started addressing this problem: one describes the runtime system and has reached an early draft stage, while the other considers the developer's view and only has a straw-man proposal. Both are natural language documents, which inevitably contain ambiguities.

Related papers