EQUIVALENCY AND TRANSFORMATIONS OF PROGRAM SCHEMES

被引：0

作者：

YANOV, YI

机构：

来源：

DOKLADY AKADEMII NAUK SSSR | 1957年 / 113卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

页码：39 / 42

页数：4

共 50 条

[21] ON REDUCTION OF PROGRAM SCHEMES
BASU, SK
SIAM JOURNAL ON APPLIED MATHEMATICS, 1968, 16 (02) : 328 - &
[22] Program Schemes with Constants
R. I. Podlovchenko
D. M. Rusakov
Programming and Computer Software, 2005, 31 : 113 - 122
[23] ON MATRIX PROGRAM SCHEMES
IANOV, II
COMMUNICATIONS OF THE ACM, 1958, 1 (12) : 3 - 6
[24] Implementation of equivalency education program in adulthood: Study in Bandung, Indonesia
Sodikin
RESEARCH FOR SOCIAL JUSTICE, 2020, : 225 - 230
[25] E-Learning Model for Equivalency Education Program in Indonesia
Yel, Mesra Betty
Sfenrianto, Sfenrianto
2017 4TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, COMPUTER SCIENCE AND INFORMATICS (EECSI), 2017, : 675 - 679
[26] ANNOTATED PROGRAM TRANSFORMATIONS
KASYANOV, VN
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE ////, 1989, 405 : 171 - 180
[27] Witnessing Program Transformations
Namjoshi, Kedar S.
Zuck, Lenore D.
STATIC ANALYSIS, SAS 2013, 2013, 7935 : 304 - 323
[28] ANNOTATED PROGRAM TRANSFORMATIONS
KASYANOV, VN
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 405 : 171 - 180
[29] THE EQUIVALENCE OF RE PROGRAM SCHEMES AND DATA FLOW SCHEMES
JAFFE, JM
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1980, 21 (01) : 92 - 109
[30] The Impact of Program Transformations on Static Program Analysis
Namjoshi, Kedar S.
Pavlinovic, Zvonimir
STATIC ANALYSIS (SAS 2018), 2018, 11002 : 306 - 325