CSEP504: Advanced Topics in Software Systems

Catalog Description: Topics include software architecture, software tools, programming language analysis, type systems, formal reasoning, and other pertinent topics in software engineering and programming languages research.

Prerequisities: (none listed)
Credits: 4.0

---

Portions of the CSEP504 web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly credited. The CSEP504 Web: © 1993-2024, Department of Computer Science and Engineering, University of Washington. Administrative information on CSEP504 (authentication required).