PREDICATIVE SPECIFICATIONS FOR FUNCTIONAL PROGRAMS DESCRIBING COMMUNICATING NETWORKS

被引：19

作者：

BROY, M

机构：

[1] Univ of Passau, Passau, West Ger, Univ of Passau, Passau, West Ger

来源：

INFORMATION PROCESSING LETTERS | 1987年 / 25卷 / 02期

关键词：

COMPUTER PROGRAMMING;

D O I：

10.1016/0020-0190(87)90227-4

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

A simple predicative specification language with an integrated functional language is given. It is powerful enough to specify and write programs representing finite and infinite nondeterministic data flow networks. The language is formally defined in terms of predicative specifications and a few simple examples are given. By doing so, one of the key questions is the treatment of nondeterminism. It is resolved in a simple way: a recursive declaration of a nondeterministic function can rather be seen as an equational specification of a predicate on functions. Then, the set of functions that fulfill this predicate is taken as the meaning of the recursive declaration.

引用

页码：93 / 101

页数：9