acm-header
Sign In

Communications of the ACM

Recent Opinion


Articles Interviews Vardi's Insights Opinion Archive Refine your search:
datePast Year
subjectEducation
authorQuanta Magazine
bg-corner

How to Write Software with Mathematical Perfection
From ACM Opinion

How to Write Software with Mathematical Perfection

Leslie Lamport revolutionized how computers talk to each other, and now he's working on how engineers talk to their machines.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account