SSS produces a recursive program which can be transformed to a more efficient target language.

• 其规范语言较接近于自然语言,系统综合出程序是一个递归型的,通过变换可得到一较高效率的程序。