雷诺·库基·苏尼奥 面向支持程序派生或控制被认为有害的模块化的语言。 （英语） Zbl 0705.68027号 《网络学报》。 9，第3号，179-192（1990）. 概述：关于编程语言的当前趋势，本文集中讨论了支持软件形式化规范和派生的需要，主要是在与环境持续交互的反应式系统的上下文中。简要分析了操作规范的非编程功能，并考虑将其包含在面向设计的规范语言中。早期致力于面向控制的决策被发现是有害的，这导致了隐式并发的语言基础，并且没有控制流的概念。展示了这种方法在某些直观自然的程序推导方法中的优势。本文最后对语言在规范、设计、原型和实现方面的多样化进行了一般性评论。 MSC公司： 68甲15 编程语言理论 60年第68季度 规范和验证（程序逻辑、模型检查等） 68N99型 软件理论 关键词：软件规范;软件设计;规范语言;程序推导;原型制作 PDF格式BibTeX公司 XML格式引用 \textit{R.Kurki-Soonio}，《网络学报》。9，第3179-192号（1990年；兹bl 0705.68027）