Ada

Ada是一种结构化、静态类型化、命令式和面向对象的高级编程语言。它有内置的语言支持契约设计、强类型、显式并发、任务、同步消息传递和受保护对象。Ada通过使用编译器查找错误来提高代码的安全性和可维护性，而不是运行时错误。Ada是一个国际技术标准，由国际标准化组织（ISO）和国际电工委员会（IEC）共同定义为ISO/IEC 8652：2012。