Implementation

• We implemented TALx86 a variant for IA32

• So far, typing annotations and type checking are feasible

• We implemented a safe C-like language called Popcorn to demonstrate targetability of TALx86

Previous slide

Next slide

Back to first slide

View graphic version