Abstract
In dynamically typed languages type checking is performed at run-time. Statically typed languages on the other hand perform type checking at compile time, allowing type errors to be caught at the earliest possible stage. In this thesis we describe an object sensitive type analysis for PHP, allowing types to be
... read more