View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        Analysing Pareci

        Thumbnail
        View/Open
        Thesis.pdf (616.4Kb)
        Publication date
        2013
        Author
        Soethout, T.M.
        Metadata
        Show full item record
        Summary
        Bugs in Pareci programs are often only found when the application is run. Another issue is that it is also easy to have many database queries, without the developer being fully aware of them. Using static data flow analysis we can find out many of these issues before we run the program and thereby reducing runtime errors and superfluous database queries. This thesis describes what Pareci is, what its computational power is and how to parse it into a form to do program flow analysis on. We define how to create a Monotone Framework instance for Pareci, which is used to run analyses using a maximal fixed point worklist algorithm. We define three analyses that help respectively identify unresolvable bindings, superfluous database queries and incoherent variable type usage.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/14914
        Collections
        • Theses
        Utrecht university logo