News for hackers. Stuff that matters.

A comment on Collected Papers of Alexander A. Stepanov. Parent comment

Re:Collected Papers of Alexander A. Stepanov by mpiedrav on Tuesday February 04, 2020 @08:49AM (#22235443)
Perhaps Knuth's "The Art of Computer Programming" and Sedgewick's (Knuth's student) "An Introduction to the Analysis of Algorithms".

Also, Ben-Ari's "Mathematical Logic for Computer Science" and Pierce's "Software Foundations".

[ Parent | on HN ]
Re:Collected Papers of Alexander A. Stepanov by ipnon on Tuesday February 04, 2020 @11:25AM (#22237407)
This is my first time hearing of any of these authors besides Knuth, thanks.
[ Parent | on HN ]
Re:Collected Papers of Alexander A. Stepanov by streetcat1 on Tuesday February 04, 2020 @07:14PM (#22242640)
You might also want to check out

David Gries, the science of programming:

https://www.springer.com/gp/book/9780387964805

[ Parent | on HN ]