补充资料：CIP-L语言

CIP-L语言
CIP-L language

　　C 1 P-L yuyanCIP-L语言《CIP-L .angUage)一种支持转换式程序设计的广谱语言。CIP一L可描述从软件功能规约、设计规约、作用式程序到过程式或面向机器的高效程序等不同的抽象级;提供了从高抽象级向低抽象级转换的语言结构和语义规则。它是70年代中期由德国慕尼黑技术大学F.L.Bauer主持开发的“直觉引导的计算机辅助程序设计”项目的主要部分，用以支持转换式程序设计方法(参见转换方法)，保证程序转换的正确性。 作为广谱语言，CIRL用代数类型描述功能规约，用计算结构刻画代数类型的模型，用模式描述算法和控制结构。代数类型也就是抽象数据类型，其公理用一阶逻辑公式表示。CIP一L要求，代数类型中的任一对象均可经有限步基本运算生成。这种生成结构可用CIP户L的计算结构刻画。模式是一个算法架构，用以描述算法策略和控制策略，将一个模式中的代数类型名赋予具体的语义解释后即可得到具体的算法。模式语言又分成核心层和多个扩展层。核心层定义了表达式子语言，可按逻辑式或函数式风格书写程序，采用模型论方法定义其语义。扩展层包含了申述式子语言(参见申述式语盲)，命令式子语言(参见命令式语言)，并行子语言和控制子语言，它们的语义刻画采用转换语义方法，即每一语法结构的语义均可由转换规则在有限步内归结到核心层语义。 CIP一L针对转换式程序设计的需要而设计。语言覆盖了从功能规约到过程实现各个层次，功能很强，但同时造成结构繁杂，不易掌握。
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。