5. Programming languages ensure properties distant from the ones we want

Previous slide Next slide Back to first slide View graphic version