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 条

[1] HOMOMORPHISMS, CORRECTNESS, TERMINATION, UNFOLDMENTS, AND EQUIVALENCE OF FLOW DIAGRAM PROGRAMS
GOGUEN, JA
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1974, 8 (03) : 333 - 365
[2] Reducing Partial Equivalence to Partial Correctness
Ciobaca, Stefan
16TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2014), 2014, : 164 - 171
[3] Bond graphs .1. Acausal equivalence
Lamb, JD
Woodall, DR
Asher, GM
DISCRETE APPLIED MATHEMATICS, 1997, 72 (03) : 261 - 293
[4] Partial correctness for probabilistic demonic programs
McIver, AK
Morgan, C
THEORETICAL COMPUTER SCIENCE, 2001, 266 (1-2) : 513 - 541
[5] THE EQUIVALENCE PROBLEM AND CORRECTNESS FORMULAS FOR A SIMPLE CLASS OF PROGRAMS
IBARRA, OH
ROSIER, LE
INFORMATION AND CONTROL, 1985, 65 (01): : 18 - 41
[6] THE EQUIVALENCE PROBLEM AND CORRECTNESS FORMULAS FOR A SIMPLE CLASS OF PROGRAMS
IBARRA, OH
ROSIER, LE
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 176 : 330 - 338
[7] A Partial Correctness Proof for Programs with Decided Specifications
Darwish, A. A.
APPLIED MATHEMATICS & INFORMATION SCIENCES, 2007, 1 (02): : 195 - 202
[8] NONDETERMINISTIC FLOWCHART PROGRAMS WITH RECURSIVE PROCEDURES - SEMANTICS AND CORRECTNESS .1.
GALLIER, JH
THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 193 - 223
[9] Automatic Verification of Partial Correctness of Golog Programs
Li, Naiqi
Liu, Yongmei
PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 3113 - 3119
[10] Proving Partial Correctness and Termination of Mutually Recursive Programs
Popov, Nikolaj
Jebelean, Tudor
12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010), 2011, : 153 - 156

← 1 2 3 4 5 →