Title: Beautiful code - circularity and anti-foundation axiom
Authors: T.V. Gopal
Addresses: Department of Computer Science and Engineering, College of Engineering, Anna University, Chennai – 600 025, India
Abstract: Computing is essentially a combination of theoretical, scientific, and engineering traditions. Programming is a process of mapping the computing problem into a form that can be executed on an automaton. The resulting software implementations are representations (models) of real-world conceptual systems. The engineering processes move a concept from the realm of actions (concepts) to the realm of representations (technology). Modelling the application in terms of well-defined structures and algorithms' is the most important step towards evolving a solution. It is becoming increasingly difficult to decide on a correct solution while building complex evolving software. This paper demonstrates 'literate programming' and 'software aesthetics' as two best practices that may result in deciding early the beautiful solutions that can be verified and validated.
Keywords: literate programming; software aesthetics; beautiful code; circularity; anti-foundation axiom; AFA; complex evolving systems.
DOI: 10.1504/IJCSYSE.2016.079001
International Journal of Computational Systems Engineering, 2016 Vol.2 No.3, pp.148 - 154
Received: 27 Nov 2015
Accepted: 05 Mar 2016
Published online: 08 Sep 2016 *