Typed Assembly Language

• Introduces types into assembly language level(cf. gcc and gdb)

• Allows polymorphic type system

• Allows stack-based execution model

• Problem

  • no notion of safety and security

Previous slide

Next slide

Back to first slide

View graphic version