Indenting for the compiler

ABSTRACT

A simple indentation rule, indent statements from the control statement they belong to, is sufficient to express a program's block structure without the use of compound statements or closing keywords. This is proven using a PASCAL-like language (using indentation instead of BEGIN-END blocks). Using indentation alone means a programmer need not give two independent specifications of a program's block structure, thus reducing effort and eliminating a potential source of errors.

REFERENCES

• 1: Mitchell H. Clifton, A technique for making structured programs more readable, ACM SIGPLAN Notices, v.13 n.4, p.58-63, April 1978 [doi>10.1145/953411.953415]
• 2: Kenneth Conrow , Ronald G. Smith, NEATER2: a PL/I source statement reformatter, Communications of the ACM, v.13 n.11, p.669-675, Nov 1970 [doi>10.1145/362790.362796]
• 3: John E. Crider, Structured formatting of Pascal programs, ACM SIGPLAN Notices, v.13 n.11, p.15-22, November 1978 [doi>10.1145/953777.953779]
• 4: Phil Grouse, "Flowblocks": a technique for structured programming, ACM SIGPLAN Notices, v.13 n.2, p.46-56, February 1978 [doi>10.1145/953422.953424]
• 5: G. G. Gustafson, Some practical experiences formatting Pascal programs, ACM SIGPLAN Notices, v.14 n.9, September 1979 [doi>10.1145/988113.988118]
• 6: Jon Hueras , Henry Ledgard, An automatic formatting program for PASCAL, ACM SIGPLAN Notices, v.12 n.7, p.82-84, July 1977 [doi>10.1145/954639.954645]
• 7: Glenn A. Jackson, Two-dimensional grammars and structured programming languages, ACM SIGPLAN Notices, v.14 n.2, p.21-28, February 1979 [doi>10.1145/954063.954066]
• 8: James L. Peterson, On the formatting of Pascal programs, ACM SIGPLAN Notices, v.12 n.12, p.83-86, December 1977 [doi>10.1145/954618.954624]
• 9: John Ramsdell, Prettyprinting structured programs with connector lines, ACM SIGPLAN Notices, v.14 n.9, September 1979 [doi>10.1145/988113.988123]