ON SIMPLE PROGRAMS WITH PRIMITIVE CONDITIONAL-STATEMENTS

被引：1
|
作者：
IBARRA, OH [1 ]
ROSIER, LE [1 ]
机构：
[1] UNIV TEXAS, DEPT COMP SCI, AUSTIN, TX 78712 USA
来源：
INFORMATION AND CONTROL | 1985年 / 65卷 / 01期
关键词：
*This research was supported in part by NSF Grant MCS 83-04756. tThis research was supported in part by The University Research Institute; The University of Texas at Austin and the IBM Corporation;
D O I：
10.1016/S0019-9958(85)80019-X
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
14
引用
收藏
页码：42 / 62
页数：21
相关论文
共 50 条
  • [21] Simple - but not primitive
    Einfach - aber nicht primitiv
    2013, VDI Fachmedien GmBH & Co. KG (73):
  • [22] Simple Statements of Fact
    Menzies, Charles R.
    NEW PROPOSALS-JOURNAL OF MARXISM AND INTERDISCIPLINARY INQUIRY, 2008, 2 (01) : 5 - 6
  • [23] ON VERIFICATION OF PROGRAMS WITH GOTO STATEMENTS
    LIFSCHITZ, V
    INFORMATION PROCESSING LETTERS, 1984, 18 (04) : 221 - 225
  • [24] PROGRAMS WITH MINIMAL GOTO STATEMENTS
    IWATA, S
    INFORMATION AND CONTROL, 1978, 37 (01): : 105 - 114
  • [25] ON SLICING PROGRAMS WITH JUMP STATEMENTS
    AGRAWAL, H
    SIGPLAN NOTICES, 1994, 29 (06): : 302 - 312
  • [26] Applying Possibility and Belief Operators to Conditional Statements
    Skorupa, Grzegorz
    Katarzyniak, Radoslaw
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I, 2010, 6276 : 271 - 280
  • [27] Conditional Statements Grounded in Past, Present and Future
    Skorupa, Grzegorz
    Katarzyniak, Radoslaw
    COMPUTATIONAL COLLECTIVE INTELLIGENCE: TECHNOLOGIES AND APPLICATIONS, PT III, 2010, 6423 : 112 - 121
  • [28] THE ROLE OF MATHEMATICAL CONTEXT IN EVALUATING CONDITIONAL STATEMENTS
    Inglis, Matthew
    Simpson, Adrian
    PME 30: PROCEEDINGS OF THE 30TH CONFERENCE OF THE INTERNATIONAL GROUP FOR THE PSYCHOLOGY OF MATHEMATICS EDUCATION, VOL 3, 2006, : 337 - +
  • [29] Extraction of Conditional Statements for Understanding Business Rules
    Hatano, Tomomi
    Ishio, Takashi
    Okada, Joji
    Sakata, Yuji
    Inoue, Katsuro
    2014 6TH INTERNATIONAL WORKSHOP ON EMPIRICAL SOFTWARE ENGINEERING IN PRACTICE (IWESEP 2014), 2014, : 25 - 30
  • [30] Reasoning with conditional ceteris paribus preference statements
    Boutilier, C
    Brafman, RI
    Hoos, HH
    Poole, D
    UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1999, : 71 - 80
12345