SCIENTIFIC FOUNDATIONS OF CONCLUSIVE PROGRAMMING

被引：0
|
作者：
ERSHOV, AP
机构：
来源：
VESTNIK AKADEMII NAUK SSSR | 1984年 / 10期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：9 / 19
页数：11
相关论文
共 50 条
  • [21] Scientific programming
    Furnish, Geoffrey
    Computers in Physics, 1998, 12 (03):
  • [22] Scientific programming
    Dubois, Paul F.
    Computers in Physics, 1997, 11 (06):
  • [23] Foundations of programming:: a teaching improvement
    Belmonte, MV
    Cotta, C
    Fernández, AJ
    Gómez, I
    Pastrana, JL
    Pedreira, JA
    Rus, F
    Soler, E
    COMPUTERS AND EDUCATION: TOWARDS AN INTERCONNECTED SOCIETY, 2001, : 81 - 91
  • [24] Logical foundations for programming semantics
    Gilmore, Paul C., 1600, (111): : 1 - 2
  • [25] Linear programming: Foundations and extensions
    Daniel, RC
    JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1998, 49 (01) : 94 - 94
  • [26] FOUNDATIONS OF COMPOSITION PROGRAMMING.
    Red'ko, V.N.
    Programming and Computer Software (English Translation of Programmirovanie), 1979, 5 (03): : 151 - 158
  • [27] SEMANTIC-FOUNDATIONS OF PROGRAMMING
    ERSHOV, YL
    GONCHAROV, SS
    SVIRIDENKO, DI
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 116 - 122
  • [28] Programming language foundations in Agda
    Kokke, Wen
    Siek, Jeremy G.
    Wadler, Philip
    SCIENCE OF COMPUTER PROGRAMMING, 2020, 194
  • [29] FOUNDATIONS OF PROGRAMMING - ARSAC,J
    AXFORD, T
    BEHAVIOUR & INFORMATION TECHNOLOGY, 1988, 7 (01) : 101 - 102
  • [30] Foundations for Structured Programming with GADTs
    Johann, Patricia
    Ghani, Neil
    POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, : 297 - +
12345