Myths of Low-level Code Collapsed

• actually, not hard to verify

  • Proof-carrying code[Necula]
  • Typed Assembly Language[Morrisett]

• indeed, adaptive to multi-platform

  • Omniware byte-code[Adl-Tabatabai]

Previous slide

Next slide

Back to first slide

View graphic version