SOME THOUGHTS ON WELL-STRUCTURED PROGRAMS

被引：0
|
作者：
JONES, BD
机构：
来源：
PERSONAL COMPUTING | 1983年 / 7卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：195 / 195
页数：1
相关论文
共 50 条
  • [1] PRECISE DOCUMENTATION OF WELL-STRUCTURED PROGRAMS
    PARNAS, DL
    MADEY, J
    IGLEWSKI, M
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (12) : 948 - 976
  • [2] THE PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAMS
    HALPERN, JY
    REIF, JH
    THEORETICAL COMPUTER SCIENCE, 1983, 27 (1-2) : 127 - 165
  • [3] The well-structured collaborators
    Kerdellant, Christine
    HISTORIA, 2023, (923): : 28 - 30
  • [4] Well-Structured Committees
    Gupta, Sushmita
    Jain, Pallavi
    Saurabh, Saket
    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 189 - 195
  • [5] Well-structured languages
    Geeraerts, Gilles
    Raskin, Jean-Francois
    Van Begin, Laurent
    ACTA INFORMATICA, 2007, 44 (3-4) : 249 - 288
  • [6] Well-structured languages
    Gilles Geeraerts
    Jean-François Raskin
    Laurent Van Begin
    Acta Informatica, 2007, 44 : 249 - 288
  • [7] A fast and well-structured multiplier
    Kang, JY
    Gaudiot, JL
    PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN, 2004, : 508 - 515
  • [8] Well-structured futures and cache locality
    Herlihy M.
    Liu Z.
    1600, Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States (02):
  • [9] INDEFINITE GOALS IN WELL-STRUCTURED PROBLEMS
    GREENO, JG
    PSYCHOLOGICAL REVIEW, 1976, 83 (06) : 479 - 491
  • [10] Well-Structured Futures and Cache Locality
    Herlihy, Maurice
    Liu, Zhiyu
    ACM SIGPLAN NOTICES, 2014, 49 (08) : 155 - 166
12345