TEMPORAL PREDICATE TRANSFORMERS AND FAIR TERMINATION

被引：0

|

作者：

MORRIS, JM

机构：

来源：

ACTA INFORMATICA | 1990年 / 27卷 / 04期

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：287 / 313

页数：27

相关论文

共 50 条

[1] Transition predicate abstraction and fair termination
Podelski, Andreas
Rybalchenko, Andrey
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2007, 29 (03):
[2] Transition predicate abstraction and fair termination
Podelski, A
Rybalchenko, A
ACM SIGPLAN NOTICES, 2005, 40 (01) : 132 - 144
[3] Underapproximating predicate transformers
Schmidt, David A.
STATIC ANALYSIS, PROCEEDINGS, 2006, 4134 : 127 - 143
[4] Probabilistic predicate transformers
Morgan, C
McIver, A
Seidel, K
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1996, 18 (03): : 325 - 353
[5] Healthiness Conditions for Predicate Transformers
Keimel, Klaus
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2015, 319 : 255 - 270
[6] SOME PROPERTIES OF PREDICATE TRANSFORMERS
HOARE, CAR
JOURNAL OF THE ACM, 1978, 25 (03) : 461 - 480
[7] PREDICATES, PREDICATE TRANSFORMERS AND REFINEMENT
ZWIERS, J
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 430 : 759 - 776
[8] DATA REFINEMENT OF PREDICATE TRANSFORMERS
GARDINER, P
MORGAN, C
THEORETICAL COMPUTER SCIENCE, 1991, 87 (01) : 143 - 162
[9] AN ALGEBRAIC CONSTRUCTION OF PREDICATE TRANSFORMERS
GARDINER, PHB
MARTIN, CE
DEMOOR, O
SCIENCE OF COMPUTER PROGRAMMING, 1994, 22 (1-2) : 21 - 44
[10] A SPECIFICATION TECHNIQUE BASED ON PREDICATE TRANSFORMERS
WURGES, H
ACTA INFORMATICA, 1981, 15 (04) : 425 - 445

← 1 2 3 4 5 →