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