The following pages link to Theories of Programming (Q5029441):
Displayed 18 items.
- The 1980 ACM Turing Award Lecture (Q5029442) (← links)
- Finding Effective Abstractions (Q5029443) (← links)
- Assessing the Success and Impact of Hoare’s Logic (Q5029444) (← links)
- Preface to Special Issue on Software Verification (Q5029445) (← links)
- The Verified Software Initiative: A Manifesto (Q5029446) (← links)
- The First Fifteen Years of the Verified Software Project (Q5029447) (← links)
- Verification in the Grand Challenge (Q5029448) (← links)
- Communicating Sequential Processes (Q5029449) (← links)
- CSP: A Practical Process Algebra (Q5029450) (← links)
- Teaching at Belfast and Oxford (Q5029451) (← links)
- Software Specification (Q5029452) (← links)
- CSP, Occam, and Inmos (Q5029453) (← links)
- Hoare and He’s Unifying Theories of Programming (Q5029454) (← links)
- Trimming the Hedges: An Algebra to Tame Concurrency (Q5029455) (← links)
- Envoi (Q5029456) (← links)
- ACM Interview (Q5029457) (← links)
- CV (Q5029458) (← links)
- List of Tony Hoare’s Publications (Q5029459) (← links)