Documents FAA-Qualifiable Ada Subset Compiler V. Santhanam Boeing.

Slide 1FAA-Qualifiable Ada Subset Compiler V. Santhanam Boeing Slide 2 Agenda Problem statement Problem statement Qualifying a compiler Qualifying a compiler The subset The…

Documents FAA-Qualifiable Ada Subset Compiler

FAA-Qualifiable Ada Subset Compiler V. Santhanam Boeing Agenda Problem statement Qualifying a compiler The subset Compiler architecture Verifying the compiler Conclusion…