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] The Structure of Ill-Structured (and Well-Structured) Problems Revisited
    Reed, Stephen K.
    EDUCATIONAL PSYCHOLOGY REVIEW, 2016, 28 (04) : 691 - 716
  • [22] The Structure of Ill-Structured (and Well-Structured) Problems Revisited
    Stephen K. Reed
    Educational Psychology Review, 2016, 28 : 691 - 716
  • [23] Preparation of well-structured organosilane layers on silica
    Duchet, J
    Gerard, JF
    Chapel, JP
    Chabert, B
    COMPOSITE INTERFACES, 2001, 8 (3-4) : 177 - 187
  • [24] Unfolding concurrent well-structured transition systems
    Herbreteau, Frederic
    Sutre, Gregoire
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 706 - +
  • [25] Ideal Abstractions for Well-Structured Transition Systems
    Zufferey, Damien
    Wies, Thomas
    Henzinger, Thomas A.
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 445 - 460
  • [26] On Reachability in Acyclic Well-Structured Workflow Nets
    Yamaguchi, Shingo
    2012 THIRD INTERNATIONAL CONFERENCE ON NETWORKING AND COMPUTING (ICNC 2012), 2012, : 441 - 446
  • [27] Well-structured model checking of multiagent systems
    Shilov, N. V.
    Garanina, N. O.
    PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 363 - +
  • [28] Synthesis and Assembly of Well-structured Hybrid Microgels
    Suzuki, Daisuke
    Kawaguchi, Haruma
    TRANSACTIONS OF THE MATERIALS RESEARCH SOCIETY OF JAPAN, VOL 33, NO 2, 2008, 33 (02): : 365 - 368
  • [29] Well-Structured Program Equivalence Is Highly Undecidable
    Goldblatt, Robert
    Jackson, Marcel
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 13 (03)
  • [30] PREFERENTIAL FLOW PROCESSES IN WELL-STRUCTURED SOILS
    SMETTEM, KRJ
    JOURNAL OF THE GEOLOGICAL SOCIETY, 1983, 140 (MAR) : 322 - 322
12345