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 条
  • [41] Emulating ab initio computations of infinite nucleonic matter
    Jiang, W. G.
    Forssen, C.
    Djarv, T.
    Hagen, G.
    [J]. PHYSICAL REVIEW C, 2024, 109 (06)
  • [42] Numerical Computations with Infinite and Infinitesimal Numbers: Theory and Applications
    Sergeyev, Yaroslav D.
    [J]. Springer Proceedings in Mathematics and Statistics, 2013, 51 : 1 - 66
  • [43] UTP Designs for Binary Multirelations
    Ribeiro, Pedro
    Cavalcanti, Ana
    [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, 2014, 8687 : 388 - 405
  • [44] Weight Voting Systems and the Method of Multirelations
    Levchenkov, V. S.
    [J]. DOKLADY MATHEMATICS, 2010, 81 (03) : 493 - 496
  • [45] Weight voting systems and the method of multirelations
    V. S. Levchenkov
    [J]. Doklady Mathematics, 2010, 81 : 493 - 496
  • [46] Closure, Properties and Closure Properties of Multirelations
    Berghammer, Rudolf
    Guttmann, Walter
    [J]. RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2015), 2015, 9348 : 67 - 83
  • [47] Representations of analytic functions as infinite products and their application to numerical computations
    Marcin Mazur
    Bogdan V. Petrenko
    [J]. The Ramanujan Journal, 2014, 34 : 129 - 141
  • [48] Representations of analytic functions as infinite products and their application to numerical computations
    Mazur, Marcin
    Petrenko, Bogdan V.
    [J]. RAMANUJAN JOURNAL, 2014, 34 (01): : 129 - 141
  • [49] Radiation impedance computations of a square piston in a rigid infinite baffle
    Lee, J
    Seo, I
    [J]. JOURNAL OF SOUND AND VIBRATION, 1996, 198 (03) : 299 - 312
  • [50] A New Applied Approach for Executing Computations with Infinite and Infinitesimal Quantities
    Sergeyev, Yaroslav D.
    [J]. INFORMATICA, 2008, 19 (04) : 567 - 596
12345