SYNTACTICALLY CORRECT MULTILEVEL STRUCTURED PROGRAM DESIGN

被引：0
|
作者：
NAGORNAYA, LI
机构：
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 1991年 / 27卷 / 05期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The design of syntactically correct programs is considered in the multilevel structured program design framework. An interactive design algorithm for syntactically correct programs is described in SAA/1 (DSP-set).
引用
收藏
页码：730 / 736
页数：7
相关论文
共 50 条
  • [41] A study of a structured exercise program with members of an ICCD certified clubhouse: Program design, benefits, and implications for feasibility
    Pelletier, JR
    Nguyen, M
    Bradley, K
    Johnsen, M
    McKay, C
    [J]. PSYCHIATRIC REHABILITATION JOURNAL, 2005, 29 (02) : 89 - 96
  • [42] Correct program slicing of database operations
    Tan, HBK
    Ling, TW
    [J]. IEEE SOFTWARE, 1998, 15 (02) : 105 - +
  • [43] Predicting a Correct Program in Programming by Example
    Singh, Rishabh
    Gulwani, Sumit
    [J]. COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 398 - 414
  • [44] CORRECT NUTRITION IN THE AFTERNOON PROGRAM OF THE ZDF
    不详
    [J]. ERNAHRUNGS-UMSCHAU, 1981, 28 (04): : 133 - 133
  • [45] Gencel: a program generator for correct spreadsheets
    Erwig, Martin
    Abraham, Robin
    Kollmansberger, Steve
    Cooperstein, Irene
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2006, 16 (03) : 293 - 325
  • [46] STRUCTURED PROGRAM LOOKAHEAD
    STROTHOTTE, TW
    CORMACK, GV
    [J]. COMPUTER LANGUAGES, 1987, 12 (02): : 95 - 108
  • [47] STRUM - STRUCTURED MICROPROGRAM DEVELOPMENT SYSTEM FOR CORRECT FIRMWARE
    PATTERSON, DA
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1976, 25 (10) : 974 - 985
  • [48] Methodological guidelines for preparing a structured therapeutic education program: From design to evaluation
    Bertran-Luengo, M. J.
    Jansa-Morato, M.
    Vidal-Flor, M.
    Nunez-Juarez, M.
    Isla-Pera, P.
    Escarrabill-Sanglas, J.
    [J]. REVISTA CLINICA ESPANOLA, 2021, 221 (08): : 448 - 455
  • [49] OPTIMUM PROGRAM DESIGN FOR HIERARCHICALLY STRUCTURED MEMORY IN ELECTRONIC SWITCHING-SYSTEM
    KUSUNOKI, K
    YAMAMOTO, K
    [J]. ELECTRONICS & COMMUNICATIONS IN JAPAN, 1976, 59 (03): : 1 - 11
  • [50] The Importance of Structured Water in HDAC8 for Correct Binding Pose Applied for Drug Design of Anticancer Molecules
    Morales-Herrejon, Gerardo
    Mendoza-Figueroa, Humberto Lubriel
    Martinez-Archundia, Marlet
    Correa-Basurto, Jose
    [J]. ANTI-CANCER AGENTS IN MEDICINAL CHEMISTRY, 2024, 24 (15) : 1109 - 1125
12345