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] 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
  • [43] 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
  • [44] Fundamental structures in well-structured infinite transition systems
    Finkel, A
    Schnoebelen, P
    LATIN '98: THEORETICAL INFORMATICS, 1998, 1380 : 102 - 118
  • [45] Scalable filtering of well-structured XML message stream
    Rao, WX
    Chen, YJ
    Zhang, XQ
    Ma, FY
    GRID AND COOPERATIVE COMPUTING, PT 2, 2004, 3033 : 279 - 286
  • [46] Computable fixpoints in well-structured symbolic model checking
    N. Bertrand
    P. Schnoebelen
    Formal Methods in System Design, 2013, 43 : 233 - 267
  • [47] 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
  • [48] Decidability of Resilience for Well-Structured Graph Transformation Systems
    Oezkan, Okan
    GRAPH TRANSFORMATION, ICGT 2022, 2022, : 38 - 57
  • [49] A classification of the expressive power of well-structured transition systems
    Abdulla, Parosh Aziz
    Delzanno, Giorgio
    Van Begin, Laurent
    INFORMATION AND COMPUTATION, 2011, 209 (03) : 248 - 279
  • [50] Memory and planning processes in solutions to well-structured problems
    Davies, SP
    QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY SECTION A-HUMAN EXPERIMENTAL PSYCHOLOGY, 2000, 53 (03): : 896 - 927
12345