PROGRAMS AS PARTIAL GRAPHS .1. FLOW EQUIVALENCE AND CORRECTNESS

被引：37

|

作者：

SCHMIDT, G

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1981年 / 15卷 / 01期

关键词：

D O I：

10.1016/0304-3975(81)90060-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：1 / 25

页数：25

相关论文

共 50 条

[21] HADAMARD GRAPHS .1.
ITO, N
GRAPHS AND COMBINATORICS, 1985, 1 (01) : 57 - 64
[22] REGULARIZABLE GRAPHS .1.
BERGE, C
DISCRETE MATHEMATICS, 1978, 23 (02) : 85 - 89
[23] OCCAM - SPECIFICATION AND COMPILER CORRECTNESS .1. THE PRIMARY MODEL
BORGER, E
DURDANOVIC, I
ROSENZWEIG, D
PROGRAMMING CONCEPTS, METHODS AND CALCULI, 1994, 56 : 489 - 508
[24] CHAIN DECOMPOSITIONS OF GRAPHS .1. ABSTRACT GRAPHS
EGGLETON, RB
SKILTON, DK
LECTURE NOTES IN MATHEMATICS, 1984, 1073 : 294 - 306
[25] CONSISTENCY OF CALCULUS OF TOTAL CORRECTNESS FOR COMMUNICATING PROCESSES .1.
ZHOU, CC
SCIENTIA SINICA SERIES A-MATHEMATICAL PHYSICAL ASTRONOMICAL & TECHNICAL SCIENCES, 1986, 29 (01): : 101 - 112
[26] Axiomatising an information flow logic based on partial equivalence relations
Filinski, Andrzej
Larsen, Ken Friis
Jensen, Thomas P.
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2024, 26 (04) : 445 - 461
[27] Work-in-Progress: Equivalence of Transformations of Synchronous Data Flow Graphs
Zhu, Xue-Yang
2018 INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS (CODES+ISSS), 2018,
[28] EQUIVALENCE BETWEEN SEMANTICS FOR INTUITIONISM .1.
LOPEZESCOBAR, EGK
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (04) : 773 - 780
[29] ON THE EQUIVALENCE OF VARIATIONAL-PROBLEMS .1.
CHRASTINA, J
JOURNAL OF DIFFERENTIAL EQUATIONS, 1992, 98 (01) : 76 - 90
[30] GRAPHS AND DEGREE SEQUENCES .1.
TYSHKEVICH, RI
CHERNYAK, AA
CHERNYAK, ZA
CYBERNETICS, 1987, 23 (06): : 734 - 745

← 1 2 3 4 5 →