Browsing Computer Science by Author "Pericas-Geertsen, Santiago M."

OpenBU

Browsing Computer Science by Author "Pericas-Geertsen, Santiago M."

Sort by: Order: Results:

  • Kfoury, Assaf J.; Pericas-Geertsen, Santiago M. (Boston University Computer Science Department, 2000-03-06)
    We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant's notion of rank. To motivate our work, we ...
  • 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 ...
  • Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M. (Boston University Computer Science Department, 2000-10-19)
    Abstract: The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. We consider an Ambient Calculus where ambients transport and exchange programs rather ...

Search OpenBU


Advanced Search

Browse

Deposit Materials