Browsing College of Arts and Sciences by Author "Bugliesi, Michele"

OpenBU

Browsing College of Arts and Sciences by Author "Bugliesi, Michele"

Sort by: Order: Results:

  • Bugliesi, Michele; Pericas-Geertsen, Santiago M. (Boston University Computer Science Department, 2000-10-16)
    Existing type systems for object calculi are based on invariant subtyping. Subtyping invariance is required for soundness of static typing in the presence of method overrides, but it is often in the way of the expressive ...

Search OpenBU


Advanced Search

Browse

Deposit Materials