SOME THOUGHTS ON WELL-STRUCTURED PROGRAMS

被引：0
|
作者：
JONES, BD
机构：
来源：
PERSONAL COMPUTING | 1983年 / 7卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：195 / 195
页数：1
相关论文
共 50 条
  • [21] Termination and Boundedness for Well-Structured Pushdown Systems
    Lei, Suhua
    Cai, Xiaojuan
    Ogawa, Mizuhito
    2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2016, : 22 - 29
  • [22] WELL-STRUCTURED FHMA CODEBOOKS - A GEOMETRIC APPROACH
    JEVTIC, DB
    IEEE TRANSACTIONS ON COMMUNICATIONS, 1991, 39 (10) : 1427 - 1432
  • [23] The Structure of Ill-Structured (and Well-Structured) Problems Revisited
    Reed, Stephen K.
    EDUCATIONAL PSYCHOLOGY REVIEW, 2016, 28 (04) : 691 - 716
  • [24] Resilience of Well-structured Graph Transformation Systems
    Oezkan, Okan
    Wuerdemann, Nick
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (350): : 69 - 88
  • [25] 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
  • [26] Well-Structured Program Equivalence Is Highly Undecidable
    Goldblatt, Robert
    Jackson, Marcel
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 13 (03)
  • [27] PREFERENTIAL FLOW PROCESSES IN WELL-STRUCTURED SOILS
    SMETTEM, KRJ
    JOURNAL OF THE GEOLOGICAL SOCIETY, 1983, 140 (MAR) : 322 - 322
  • [28] Preparation of well-structured organosilane layers on silica
    Duchet, J
    Gerard, JF
    Chapel, JP
    Chabert, B
    COMPOSITE INTERFACES, 2001, 8 (3-4) : 177 - 187
  • [29] Unfolding concurrent well-structured transition systems
    Herbreteau, Frederic
    Sutre, Gregoire
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 706 - +
  • [30] Ideal Abstractions for Well-Structured Transition Systems
    Zufferey, Damien
    Wies, Thomas
    Henzinger, Thomas A.
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 445 - 460
12345