[philzook]

Check out Program Design by Calculation and The Algebra of Programming. Category theory and related formalisms do have a strong case to being a formal theory for designing/calculating programs

http://www4.di.uminho.pt/~jno/ps/pdbc.pdf https://themattchan.com/docs/algprog.pdf

[crimsonalucard]

Super interested in this and thanks for posting. Your first link is dead though. Do you have an alternative?

[feanaro]

http://web.archive.org/web/20190519200157/http://www4.di.umi...

[philzook]

Yes, thanks for this. It appears that maybe the entire university's website has changed location? So maybe a more official link will come back up soon