News for hackers. Stuff that matters.

A comment on Collected Papers of Alexander A. Stepanov.

Re:Collected Papers of Alexander A. Stepanov by ipnon on Tuesday February 04, 2020 @08:05AM (#22235048)
Elements of Programming seems to be approaching the limits of advanced programming techniques. It has the reputation of being mathematically rigorous. What else can you study at that point regarding the mathematics of programming? My concern is that software engineering will be slow to graduate into a science, and we will be stuck as merely an artform for the foreseeable future.
[ Parent | on HN ]
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 ]
Re:Collected Papers of Alexander A. Stepanov by RossBencina on Tuesday February 04, 2020 @09:22AM (#22235785)
Another aspect of the mathematics of programming is the Categorical perspective. For a taste, I've been enjoying following along at home with MIT's course 18.S097: Programming with Categories:

http://brendanfong.com/programmingcats.html

[ Parent | on HN ]