A framework for modular linking in OO languages

  • Authors:

  • Sean McDirmid;Wilson C. Hsieh;Matthew Flatt

  • Affiliations:

  • École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland;University of Utah, Salt Lake City, UT;University of Utah, Salt Lake City, UT

  • Venue:
  • JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

The successful assembly of large programs out of software components depends on modular reasoning. When the linking of component code is modular, components can be compiled and type checked separately, deployed in binary form, and are easier to reuse. Unfortunately, linking is not modular in many mainstream OO languages such as Java. In this paper we propose an intuitive and formal framework for enhancing a language with modular linking, which is applied to the specific problem of making linking in Java modular. In our proposed framework, the degree to which components can be reasoned about modularly is adversely affected by language features that limit abstraction. We show that most of Java’s core language features, such as inheritance, permit a high degree of modular linking even in the presence of cyclic dependencies.