PARTIALLY ADDITIVE CATEGORIES AND FLOW-DIAGRAM SEMANTICS

被引：43

作者：

ARBIB, MA

MANES, EG

机构：

来源：

关键词：

D O I：

10.1016/0021-8693(80)90212-4

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：203 / 227

页数：25

共 34 条

[1]

Alagic S., 1978, DESIGN WELL STRUCTUR

[2]

ARBIB MA, UNPUBLISHED

[3]

ARBIB MA, 1978, NOT AM MATH SOC, V25, pA381

[4]

Arbib Michael A., 1975, ARROWS STRUCTURES FU

BACKUS, J .

[6] SCALAR AND VECTOR ITERATION [J].

BLOOM, SL ;

GINALI, S ;

RUTLEDGE, JD .

[7]

BLOOM SL, 1977, RC7029 IBM TJ WATS R

[8]

BLOOM SL, 1977, ITERATIVE METRIC ALG

[9] TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J].

BURSTALL, RM ;

DARLINGTON, J .

[10]

DAHL DJ, 1972, STRUCTURAL PROGRAMMI