An Axiomatic Basis for Computer Programming - discu.eu

Lambda the Ultimate

An Axiomatic Basis for Computer Programming http://sunnyday.mit.edu/16.355/Hoare-CACM-69.pdf 0 comments 16/12/2006 Semantics

Linking pages

Computer Science Papers Every Developer Should Read https://newsletter.techworld-with-milan.com/p/computer-science-papers-every-developer 105 comments

Related searches:

Search whole site: site:sunnyday.mit.edu

Search title: An Axiomatic Basis for Computer Programming

See how to search.

Submit link to: