SOME THOUGHTS ON WELL-STRUCTURED PROGRAMS

被引：0
|
作者：
JONES, BD
机构：
来源：
PERSONAL COMPUTING | 1983年 / 7卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：195 / 195
页数：1
相关论文
共 50 条
  • [41] Computable fixpoints in well-structured symbolic model checking
    Bertrand, N.
    Schnoebelen, P.
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 43 (02) : 233 - 267
  • [42] Structural and Behavioral Properties of Well-Structured Workflow Nets
    Gou, Zhaolong
    Yamaguchi, Shingo
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2017, E100A (02) : 421 - 426
  • [43] Initial and concurrent planning in solutions to well-structured problems
    Davies, SP
    QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY SECTION A-HUMAN EXPERIMENTAL PSYCHOLOGY, 2003, 56 (07): : 1147 - 1164
  • [44] Fundamental structures in well-structured infinite transition systems
    Finkel, A
    Schnoebelen, P
    LATIN '98: THEORETICAL INFORMATICS, 1998, 1380 : 102 - 118
  • [45] Parameterized Verification of Coverability in Well-Structured Broadcast Networks
    Balasubramanian, A. R.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (277): : 133 - 146
  • [46] Meta-kernelization using well-structured modulators
    Eiben, Eduard
    Ganian, Robert
    Szeider, Stefan
    DISCRETE APPLIED MATHEMATICS, 2018, 248 : 153 - 167
  • [47] Common knowledge in well-structured perfect recall systems
    Garanina N.O.
    Automatic Control and Computer Sciences, 2014, 48 (07) : 381 - 388
  • [48] Transforming RDB schema into well-structured OODB schema
    Zhang, XZ
    Zhang, YC
    Fong, J
    Jia, XH
    INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (05) : 275 - 281
  • [49] Infrastructure Mapping in Well-Structured Environments Using MAV
    Fan, Yuantao
    Aramrattana, Maytheewat
    Shahbandi, Saeed Gholami
    Nemati, Hassan Mashad
    Astrand, Bjorn
    TOWARDS AUTONOMOUS ROBOTIC SYSTEMS, TAROS 2016, 2016, 9716 : 116 - 126
  • [50] Model checking μ-Calculus in well-structured transition systems
    Kouzmin, EV
    Shilov, NV
    Sokolov, VA
    11TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2004, : 152 - 155
12345