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.