Security

• No program that violates the definition of the language, or its own intended structure, should escape detection

• Pascal’s type hole for non-discriminated union types

• Ada 83 and non-compliant programs

Previous slide

Next slide

Back to first slide

View graphic version