Essays about: "Pavle Subotic"

Found 1 essay containing the words Pavle Subotic.

  1. 1. Abstract Interpretation of Unstructured Imperative Languages on Unbounded Domains

    University essay from Institutionen för informationsteknologi

    Author : Pavle Subotic; [2011]
    Keywords : ;

    Abstract : In this thesis we present a novel program analysis technique that applies abstract interpretation to low-level intermediate languages with unbounded abstract domains. Unbounded abstract domains in program analysis occur in applications such as finding ranges of variables and its applications include elimination of assertions in programs, automatically deducing numerical stability, and array bounds checking. READ MORE