Typed x86 Features:

• 32-bit “flat model”

• Few restrictions on registers or instructions

• Type system is a variant of F-omega

  • well-studied
  • sufficient to encode many abstractions

• Very little type information needed.

Previous slide

Next slide

Back to first slide

View graphic version