SOME THOUGHTS ON WELL-STRUCTURED PROGRAMS

被引：0
|
作者：
JONES, BD
机构：
来源：
PERSONAL COMPUTING | 1983年 / 7卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：195 / 195
页数：1
相关论文
共 50 条
  • [31] Resilience of Well-structured Graph Transformation Systems
    Oezkan, Okan
    Wuerdemann, Nick
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (350): : 69 - 88
  • [32] Parallel Degree of Well-Structured Workflow Nets
    Qu, Nan
    Yamaguchi, Shingo
    Ge, Qi-Wei
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2010, E93A (12) : 2730 - 2739
  • [33] Preferential flow variability in a well-structured soil
    Williams, AG
    Dowd, JF
    Scholefield, D
    Holden, NM
    Deeks, LK
    SOIL SCIENCE SOCIETY OF AMERICA JOURNAL, 2003, 67 (04) : 1272 - 1281
  • [34] A well-structured modified Booth multiplier design
    Wang, Li-Rong
    Jou, Shyh-Jye
    Lee, Chung-Len
    2008 INTERNATIONAL SYMPOSIUM ON VLSI DESIGN, AUTOMATION AND TEST (VLSI-DAT), PROCEEDINGS OF TECHNICAL PROGRAM, 2008, : 85 - 88
  • [35] Wetting properties of well-structured heterogeneous substrates
    Iliev, SD
    Pesheva, NC
    LANGMUIR, 2003, 19 (23) : 9923 - 9931
  • [36] Benefits of a Well-Structured Diagnostic Process in Colon Cancer
    Klemann, Victor M. W. T.
    Wolters, Frank L.
    Konsten, Joop L. M.
    DIGESTIVE SURGERY, 2011, 28 (01) : 15 - 21
  • [37] Common knowledge in well-structured perfect recall systems
    Garanina N.O.
    Automatic Control and Computer Sciences, 2014, 48 (07) : 381 - 388
  • [38] Meta-kernelization using well-structured modulators
    Eiben, Eduard
    Ganian, Robert
    Szeider, Stefan
    DISCRETE APPLIED MATHEMATICS, 2018, 248 : 153 - 167
  • [39] Parameterized Verification of Coverability in Well-Structured Broadcast Networks
    Balasubramanian, A. R.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (277): : 133 - 146
  • [40] Decidability Results for Well-structured Graph Transformation Systems
    Koenig, Barbara
    Stueckrath, Jan
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (140): : 87 - 88
12345