Program Analysis (COP 5021)

Versions of COP 5021

This page gives acess to information about the course "Program Analysis" (COP 5021) as taught by Gary T. Leavens. at the University of Central Florida.

The following offerings are available.

• Principles of Program Analysis by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin (Springer-Verlag, 1999, 2005) in Spring 2024.
• Principles of Program Analysis by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin (Springer-Verlag, 1999, 2005) in Spring 2018.
• Principles of Program Analysis by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin (Springer-Verlag, 1999, 2005) in Spring 2016.
• Principles of Program Analysis by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin (Springer-Verlag, 1999, 2005) in Spring 2014.
• Principles of Program Analysis by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin (Springer-Verlag, 1999, 2005) in Spring 2010.
• Principles of Program Analysis by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin (Springer-Verlag, 1999, 2005) in Spring 2008.
• Principles of Program Analysis by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin (Springer-Verlag, 1999, 2005) taught at Iowa State University in Spring 2006.