Development of individual skills necessary for designing, implementing, testing and modifying larger programs, including: use of integrated design environments, design strategies and patterns, testing, working with large code bases and libraries, code refactoring, and use of debuggers and tools for version control.
Course Description: COMSPSCI 631 surveys the principles of modern programming languages by implementation. Topics include building interpreters for several kinds of programming languages, type-inference algorithms, program analyses, and program verification. This course will conclude with topics that bridge to compilers and runtime systems, including program transformations and garbage collection.
The undergraduate section of COMPSCI 631