IFACTS will use a new program being designed and implemented from the start with the SPARK Adalanguage.
iFACTS将利用一个全新的计划，从最初的SPARK Ada语言开始进行设计和执行。
2
This paper discussed some basic principles in separate compilation for Adalanguage in detail, and presented the implementation for the PC 386/UNIX AHA-Z and VAXH/UNIX ADA-Z compilers.
本文详细讨论了ADA语言的分别编译原理及其在两个编译程序实例中的实现方法。
3
The Ada programming language allowed encapsulation, but only limited inheritance.