Conclusions

• Semantics seen as a black art

• Program analysis hides it in a box - bringing semantics to the masses

• Social and economic benefits

Previous slide

Next slide

Back to first slide

View graphic version