Programs are more than just algorithms, they are also documentation of that algorithm. Sometimes they also describe checked invariants of the execution of that algorithm (types).

There's probably a lot more to say about programs that doesn't fit within the "just algorithm" view.