Compact chart: a program logic notation with high describability and understandability

  • Authors:

  • Syuetsu Hanata;Tadamasa Satoh

  • Affiliations:

  • Yokosuka Electrical Communication Laboratory, 1-2356, TAKE, YOKOSUKA-SHI, KANAGAWA-KEN, 238-03, JAPAN;Yokosuka Electrical Communication Laboratory, 1-2356, TAKE, YOKOSUKA-SHI, KANAGAWA-KEN, 238-03, JAPAN

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 1980

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes an improved flow chart notation, Compact Chart, developed because the flow chart conception is effective in constructing program logics, but the conventional notation for it is ineffective.By introducing the idea of separation of control transfer and process description, Compact Charting gives an improved method of representing and understanding program logics.