programming-language

庆祝 Tony Hoare 对计算机科学的影响

Tony Hoare对计算机科学有深远影响，他提出了Hoare逻辑和空引用概念，这些工作至今仍影响着软件设计和构建。