VERIFICATION OF LINEAR ALGEBRA PROGRAMS IN THE SPEKTR SYSTEM

被引：0
|
作者：
NEPOMNYASHCHII, VA
SULIMOV, AA
机构：
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 1992年 / 28卷 / 05期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A subsystem for verification of linear algebra programs is described. The subsystem is implemented as part of the problem-oriented verification system SPEKTR.
引用
收藏
页码：766 / 774
页数：9
相关论文
共 50 条
  • [1] PROBLEM-ORIENTED VERIFICATION SYSTEM AND ITS APPLICATION TO LINEAR ALGEBRA PROGRAMS
    NEPOMNIASCHY, VA
    SULIMOV, AA
    [J]. THEORETICAL COMPUTER SCIENCE, 1993, 119 (01) : 173 - 185
  • [2] Guarded Kleene Algebra with Tests Verification of Uninterpreted Programs in Nearly Linear Time
    Smolka, Steffen
    Foster, Nate
    Hsu, Justin
    Kappe, Tobias
    Kozen, Dexter
    Silva, Alexandra
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4
  • [3] PROBLEM-ORIENTED PROGRAM VERIFICATION SYSTEM SPEKTR
    NEPOMNYASHCHII, VA
    VOROBEV, SG
    SULIMOV, AA
    [J]. CYBERNETICS, 1987, 23 (06): : 757 - 765
  • [4] Synthesis of incremental linear algebra programs
    Shaikhha, Amir
    Elseidy, Mohammed
    Mihaila, Stephan
    Espino, Daniel
    Koch, Christoph
    [J]. ACM Transactions on Database Systems, 2020, 45 (03):
  • [5] Problem-oriented knowledge bases and their application in the program verification system SPEKTR
    Nepomnyashchii, VA
    Sulimov, AA
    [J]. JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1997, 36 (02) : 321 - 327
  • [6] Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
    Foster, Simon
    Ye, Kangfeng
    Cavalcanti, Ana
    Woodcock, Jim
    [J]. RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2018, 11194 : 205 - 224
  • [7] A SYSTEM FOR PARALLEL COMPUTER ALGEBRA PROGRAMS
    WATT, SM
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 204 : 537 - 538
  • [8] Efficient Formal Verification of Bounds of Linear Programs
    Solovyev, Alexey
    Hales, Thomas C.
    [J]. INTELLIGENT COMPUTER MATHEMATICS, MKM 2011, 2011, 6824 : 123 - 132
  • [9] Verification problem for linear programs with Boolean arrays
    Kostanyan, AG
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 1995, 31 (05) : 705 - 710
  • [10] Linnea: Automatic Generation of Efficient Linear Algebra Programs
    Barthels, Henrik
    Psarras, Christos
    Bientinesi, Paolo
    [J]. ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2021, 47 (03):
12345