PREDICATE-TRANSFORMER SEMANTICS OF GENERAL RECURSION

被引：1

作者：

HESSELINK, WH

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：309 / 332

页数：24

共 21 条

[1] 10 YEARS OF HOARE LOGIC - A SURVEY .1. [J].

APT, KR .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1981, 3 (04) :431-483

[2] COUNTABLE NONDETERMINISM AND RANDOM ASSIGNMENT [J].

APT, KR ;

PLOTKIN, GD .

[3]

Balbes R., 1974, DISTRIBUTIVE LATTICE

[4]

DEBAKKER JW, 1980, MATH THEORY PROGRAM

[5]

DEROEVER WP, 1976, MATH F COMPUTER SCI, P472

[6]

Dijkstra E.W., 1976, DISCIPLINE PROGRAMMI

[7] A SIMPLE FIXPOINT ARGUMENT WITHOUT THE RESTRICTION TO CONTINUITY [J].

DIJKSTRA, EW ;

VANGASTEREN, AJM .

[8]

DIJKSTRA EW, 1987, EWD1002

[9]

DIJKSTRA EW, 1985, EWD910, pCH4

[10]

DIJKSTRA EW, 1986, AVG65AEWD950A