|
CSE590DG: Language-Based Techniques for Improving C-Level Software Quality |
|
 CSE Home |
About Us |
Search |
Contact Info |
|
|
Description: This course surveys recent language-based approaches for finding
software defects that are endemic to programs written in C. Emphasis
is on techniques leveraging language implementations and
type-checking that (a) prove the absence of certain errors and (b) do
not (necessarily) treat C as though it were a higher level language.
Students design and complete projects aimed at finding errors in C
programs automatically. The course should have plenty to offer
programming-language students and students who write C-level systems
(operating systems, networking code, embeddedy systems, etc.), so the
latter are particularly encouraged to attend.
Portions of the CSE 590dg Web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly credited. The CSE 590dg Web: © 1993-2004, Department of Computer Science and Engineering, University of Washington. |
||||||
 |
Computer Science & Engineering University of Washington, Box 352350 Seattle, WA 98195-2350 (206) 543-1695 voice, (206) 543-2969 FAX [comments to webmaster] Privacy policy and terms of use |
