Skip to content

Instantly share code, notes, and snippets.

@oboff

oboff/books.cplusplus.md

Last active May 13, 2017 04:22
Show Gist options
  • Save oboff/add9a3a77ca8ac2f47ac046ae49b7c19 to your computer and use it in GitHub Desktop.
Save oboff/add9a3a77ca8ac2f47ac046ae49b7c19 to your computer and use it in GitHub Desktop.
Download ZIP
Books to Learn Formal Methods/C++
Raw
books.cplusplus.md

John Lakos

Books Recommended by Alexander Stepanov

  • Aho, Alfred Vaino, John Edward Hopcroft, and Jeffrey David Ullman. 1976. The design and analysis of computer algorithms. Reading, Mass. [usw.]: Addison-Wesley.
  • Stepanov, Alexander A. 2015. From mathematics to generic programming. Upper Saddle River, N.J. [etc.]: Addison-Wesley.
  • Stroustrup, Bjarne. 2013. The C++ programming language: [C++11]. Upper Saddle River (NJ) [etc.]: Addison-Wesley.

Formal Methods

Texts

  • C. A. R. Hoare. 1969. An axiomatic basis for computer programming. Commun. ACM 12, 10 (October 1969), 576-580.
  • The Art of Programming [Donald E. Knuth, 1968–1973]
  • A Discipline of Programming [Edsger W. Dijkstra, 1976]
  • The Science of Programming [David Gries, 1981]
  • The Craft of Programming [John C. Reynolds, 1981]
  • The Logic of Programming [Eric C.R. Hehner, 1984]
  • A Practical Theory of Programming, E.C.R.Hehner, 1993
  • Program Construction: Calculating Implementations from Specifications, Roland Backhouse, 2003
  • Elements of Programming, by Alexander Stepanov and Paul McJones, was published by Addison-Wesley Professional in June, 2009.

Courses

More:

Gamedev:

@oboff
Copy link
Author

oboff commented Mar 8, 2017

Kevlin Henny - Essential behavior

@oboff
Copy link
Author

oboff commented Mar 12, 2017

Bartosz Milewski

@oboff
Copy link
Author

oboff commented May 13, 2017

http://www.gamasutra.com/view/news/169296/Indepth_Functional_programming_in_C.php

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment