Elements of Programming Alexander Stepanov Paul McJones March 14, 2008 Stepanov, McJones Elements of Programming March 14, 2008 1 / 880 Contents I 1 Introduction Foundations…