Key CIL Design Points

• Compilation, not interpretation

• Stack-based

• Typeless operations

• Value types (C structs)

• Size-agnostic (32/64 bit) integers

• Pointers with arithmetic and indirection

• Verification conditions specified

Previous slide

Next slide

Back to first slide

View graphic version