Telecharger Cours

Designing an Algorithm for Role Analysis Viktor Kuncak

Abstract. This thesis presents a system for specifying constraints on dynamically changing ref- erencing relationships of heap objects, and an analysis for ...



Download