Is Structural Subtyping Useful? An Empirical Study

Abstract

Structural subtyping is popular in research languages, but all mainstream object-oriented languages use nominal subtyping. Since languages with structural subtyping are not in widespread use, the empirical questions of whether and how structural subtyping is useful have thus far remained unanswered. This study aims to provide answers to these questions. We identified several criteria that are indicators that nominally typed programs could benefit from structural subtyping, and performed automated and manual analyses of open-source Java programs based on these criteria. Our results suggest that these programs could indeed be improved with the addition of structural subtyping. We hope this study will provide guidance for language designers who are considering use of this subtyping discipline.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 2009
Accession Number
ADA512414

Entities

People

  • Donna Malayeri
  • Jonathan Erik Aldrich

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Department Of Defense
  • Frequency
  • Hierarchies
  • Information Operations
  • Information Systems
  • Iterations
  • Language
  • Object Oriented Programming
  • Reflection
  • Semantics
  • Software Development
  • Urban Areas

Readers

  • Database Systems and Applications
  • Structural Health Monitoring of Composite Structures.
  • Systems Analysis and Design