No ifs, ands, or buts: uncovering the simplicity of conditionals


<i>Schematic tables</i> are a new representation for conditionals. Roughly a cross between decision tables and data flowgraphs, they represent computation and decision-making orthogonally. They unify the full range of conditional constructs, from if statements through pattern matching to polymorphic predicate dispatch. Program logic is maintained in a declarative canonical form that enforces completeness and disjointness among choices. Schematic tables can beused either as a code specification/generation tool, or as a self-contained diagrammatic programming language. They give program logic the clarity of truth tables, and support high-level direct manipulation of that logic, avoiding much of the mental computation demanded by conventional conditionals.

DOI: 10.1145/1297027.1297075
View Slides

14 Figures and Tables

Cite this paper

@inproceedings{Edwards2007NoIA, title={No ifs, ands, or buts: uncovering the simplicity of conditionals}, author={Jonathan Edwards}, booktitle={OOPSLA}, year={2007} }