Sökning: "Pavle Subotic"

Hittade 1 uppsats innehållade orden Pavle Subotic.

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

    Master-uppsats, Institutionen för informationsteknologi

    Författare :Pavle Subotic; [2011]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER