Runtime support for different language features. Emphasis is on separating the different elements of programming languages and styles. Discussion of control flow and programming in the small, module and object systems and programming in the large. You may now generate a printable list of Stanford Bookstore materials assigned for the courses you are taking. Please be sure to check this page before ordering any textbooks.
Details are subject to change.
You may also review SCPD information about ordering textbooks. However, there are no programming requirements. Mitchell studies programming languages and computer security, including static program analysis, object systems, security protocol and mobile code security. Other research interests include formal methods and applications of mathematical logic to computer science.