Cs3180 (Prasad)L8Packages1 Packages Organizing large programs => From monolithic programs to partitioning class name space Access control of names => Enforcing.
Spring 2014 Program Analysis and Verification Lecture 14: Numerical Abstractions