论文标题
功能程序的状态图
State diagrams of functional programs
论文作者
论文摘要
在论文中，我们介绍了与功能程序有关的图形对象（称为状态图）。结果表明，功能程序的状态图可用于解决验证功能程序的问题。提出的方法通过验证排序程序的示例来说明。
In the paper we introduce graphical objects (called state diagrams) related to functional programs. It is shown that state diagrams of functional programs can be used to solve problems of verification of functional programs. The proposed approach is illustrated by an example of verification of a sorting program.
