James Horning

Digital Library

ACM Fellows

USA - 1998

citation

For fundamental contributions to the fields of programming language design and specification methodology, and for leadership in matters of computing and public policy.