American computer scientist known for his involvement in Xerox PARC and DEC Systems Research Center. He worked on programming methodology, programming languages, formal methods and several other disciplines of computer science.
American computer scientist known for his involvement in Xerox PARC and DEC Systems Research Center. He worked on programming methodology, programming languages, formal methods and several other disciplines of computer science.