# Principles Of Program Analysis

## CSCI-4450

The goal of this course is to introduce students to program analysis and its many applications in software engineering, particularly in improving software quality and software productivity. Concretely, students who successfully complete this course should be able to: (1) understand and apply program analysis techniques, such as dataflow analysis and type-based analysis; (2) implement program analysis; (3) understand and apply software testing techniques, such as black-box testing and white-box testing; and (4) understand and apply refactoring techniques.

4 credits
Cross-listed with:
CSCI-6450 Principles Of Program Analysis
Prereqs:
CSCI-4430 Programming Languages

# Past Term Data
Offered
Not Offered
Offered as Cross-Listing Only
No Term Data
Simple View
Detailed View

| Spring | Summer | Fall
--- | --- | --- | ---
| (Session 1) | (Session 2) |
2024 | Principles Of Program Analysis (4c) Ana L. Milanova Seats Taken: 16/36 |  |
2023 |  |  |
2022 | Principles Of Program Analysis (4c) Ana L. Milanova Seats Taken: 10/25 |  |
2021 | Principles Of Program Analysis (4c) Ana L. Milanova Seats Taken: 7/10 |  |
2020 | Principles Of Program Analysis (4c) Ana L. Milanova Seats Taken: 18/25 |  |
2019 | Principles Of Program Analysis (4c) Ana L. Milanova Seats Taken: 29/25 |  |
2018 | Principles Of Program Analysis (4c) Ana L. Milanova Seats Taken: 22/25 |  |
2017 |  |  |
2016 |  |  |
2015 |  |  |
2014 |  |  |
2013 |  |  |
2012 |  |  |
2011 |  |  |
2010 |  |  |
2009 |  |  |
2008 |  |  |
2007 |  |  |
2006 |  |  |
2005 |  |  |
2004 |  |  |
2003 |  |  |
2002 |  |  |
2001 |  |  |
2000 |  |  |
1999 |  |  |
1998 |  |  |