Multirelations with infinite computations

被引：6

作者：

Guttmann, Walter ^{[1
]}

机构：

[1] Univ Canterbury, Dept Comp Sci & Software Engn, Christchurch, New Zealand

来源：

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 2014年 / 83卷 / 02期

关键词：

Approximation order; Median; Multirelations; Program semantics; Relations; RelView; Sequential computations; GENERAL CORRECTNESS; NONDETERMINISM; ALGEBRAS;

D O I：

10.1016/j.jlap.2014.02.008

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Multirelations model computations with both angelic and demonic non-determinism. We extend multirelations to represent finite and infinite computations independently. We derive an approximation order for multirelations assuming only that the endless loop is its least element and that the lattice operations are isotone. We use relations, relation algebra and RelView for representing and calculating with multirelations and for finding the approximation order. (C) 2014 Elsevier Inc. All rights reserved.

引用

页码：194 / 211

页数：18

共 50 条

[21] Determinism of multirelations
Furusawa, Hitoshi
Guttmann, Walter
Struth, Georg
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2024, 139
[22] HIGHLY UNDECIDABLE PROBLEMS FOR INFINITE COMPUTATIONS
Finkel, Olivier
[J]. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2009, 43 (02): : 339 - 364
[23] Cellular automata using infinite computations
D'Alotto, Louis
[J]. APPLIED MATHEMATICS AND COMPUTATION, 2012, 218 (16) : 8077 - 8082
[24] Infinite executions of lazy and strict computations
Guttmann, Walter
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2015, 84 (03) : 326 - 340
[25] Kolmogorov complexity for possibly infinite computations
Becher V.
Figueira S.
[J]. Journal of Logic, Language and Information, 2005, 14 (2) : 133 - 148
[26] NONDETERMINISM AND INFINITE COMPUTATIONS IN CONSTRAINT PROGRAMMING
DEBOER, FS
DIPIERRO, A
PALAMIDESSI, C
[J]. THEORETICAL COMPUTER SCIENCE, 1995, 151 (01) : 37 - 78
[27] Computations with infinite Toeplitz matrices and polynomials
Bini, DA
Gemignani, L
Meini, B
[J]. LINEAR ALGEBRA AND ITS APPLICATIONS, 2002, 343 : 21 - 61
[28] Infinite Computations and a Hierarchy in Δ3 Reconsidered
Rovan, Branislav
Steskal, L'Ubos
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (01) : 175 - 176
[29] ON THE INTERPRETATION OF INFINITE COMPUTATIONS IN LOGIC PROGRAMMING
ABDALLAH, MAN
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 172 : 358 - 370
[30] Representation of infinite domains in FEM computations
Zochowski, A
[J]. COMPUTERS & STRUCTURES, 1997, 63 (05) : 889 - 897

← 1 2 3 4 5 →