Monthly Archives: June 2009

Elements of Programming

Elements of Programming, by Alexander Stepanov and Paul McJones, was published this month by Addison-Wesley Professional. From the preface: This book applies the deductive method to programming by affiliating programs with the abstract mathematical theories that enable them to work. … Continue reading

Posted in General | 2 Comments