user

A CALCULUS OF PROPOSITIONAL PROPERTIES OF PROGRAMS

被引：0
|
作者：
GAISARYAN, SS
LASTOVETSKII, AL
机构：
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 1990年 / 16卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The article presents a proposed algebraic technique that makes it possible to determine propositional semantics of programs. The construction requires representation of data types by continuous lattices, as well as continuity of types, intertype operations, and elementary relations.
引用
收藏
页码：93 / 99
页数：7
相关论文
共 50 条
  • [1] PROPOSITIONAL CALCULUS
    KYBURG, H
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (04): : 437 - &
  • [2] A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus
    Benevides, Mario R. F.
    Schechter, L. Menasche
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 262 : 49 - 64
  • [3] PROPOSITIONAL CALCULUS AND REALIZABILITY
    ROSE, GF
    [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 75 (JUL) : 1 - 19
  • [4] REVISION IN PROPOSITIONAL CALCULUS
    PAPINI, O
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 272 - 276
  • [5] SUB-LOGICAL PROPERTIES OF CLASSICAL AND INTUITIONISTIC PROPOSITIONAL CALCULUS
    SEMENENK.MI
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1970, 16 (03): : 201 - &
  • [6] THE PRIZ SYSTEM AND PROPOSITIONAL CALCULUS
    VOLOZH, BB
    MATSKIN, MB
    MINTS, GE
    TYUGU, EK
    [J]. CYBERNETICS, 1982, 18 (06): : 777 - 788
  • [7] Space complexity in propositional calculus
    Alekhnovich, M
    Ben-Sasson, E
    Razborov, AA
    Wigderson, A
    [J]. SIAM JOURNAL ON COMPUTING, 2002, 31 (04) : 1184 - 1211
  • [8] Knowledge forgetting in propositional μ-calculus
    Renyan Feng
    Yisong Wang
    Ren Qian
    Lei Yang
    Panfeng Chen
    [J]. Annals of Mathematics and Artificial Intelligence, 2023, 91 : 1 - 43
  • [9] Basic propositional calculus I
    Ardeshir, M
    Ruitenburg, W
    [J]. MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (03) : 317 - 343
  • [10] CERTAIN HIERARCHIES OF PROPOSITIONAL CALCULUS
    ARRUDA, AI
    [J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1968, 266 (02): : 37 - &
12345