Structured program theorem
article-link
What links here
Zohar Manna
Program synthesis
article-link
Symbolic artificial intelligence
article-link
Temporal logic
article-link
Robert W. Floyd
article-link
Alan Perlis
article-link
McCarthy 91 function
article-link
Adi Shamir
article-link
List of computer scientists
article-link