After successfully completing the course, the students shall be able to:
- Define micro level constructs by programming evaluators.
- Define macro level constructs and how they are emulated in common programming languages.
- Identify language features that benefit software integrity (reliability, robustness, and security) and software validation (verification and testing).