Detaljer för kursplan för kurs EDA045F giltig från och med Autumn 2018 Utskriftsvänlig visning Kurskod:EDA045F Gäller från och med:Autumn 2018 Kursplanen är fastställd Allmänt Undervisningsspråk:English Ges:Varannan hösttermin Kurshemsida: Syfte Program analysis allows us to better understand what software does and does not do. The techniques of program analysis can thereby contribute to software security, software quality control, program understanding, software maintenance and evolution, and software performance improvement. The aim of this course is to provide a detailed understanding of modern program analysis techniques, as well as their strengths and weaknesses, when applied to realistic software. Innehåll The course topics include: type and effect systems, operational semantics, program dependency analysis, data flow analysis, constraint-based analysis, profiling, and sampling. Kunskap och förståelse För godkänd kurs skall doktoranden understand and demonstrate knowledge about static program analysis techniques and their strengths and weaknesses. understand and demonstrate knowledge about dynamic program analysis techniques, their strengths and weaknesses, and their effect on program execution. understand and be able to express themselves in the formal language(s) used in the class. Färdighet och förmåga För godkänd kurs skall doktoranden be able to design, implement, and validate static, dynamic and combined static-dynamic program analyses for different tasks. Värderingsförmåga och förhållningssätt För godkänd kurs skall doktoranden demonstrate the ability to describe, understand, and critically evaluate different program analysis techniques as applied to different tasks. Undervisningsformer Föreläsningar Laborationer Litteraturkurs som självstudier Examinationsformer Skriftlig tentamen Betygsskala:Underkänd, godkänd Förkunskapskrav EDAN65 or equivalent knowledge about compilers Förutsatta förkunskaper Urvalskriterier Litteratur Litteratur:Nielson, F., Nielson, H.R. & Hankin, C.: Principles of Program Analysis. Springer, 1999. ISBN 9783540654100. Övrig information Kurskod Kurskod:EDA045F Administrativ information Datum för fastställande: -05-18 Beslutad av:Professor Thomas Johansson Alla publicerade kurstillfällen för kursplanen Inga matchande kurstillfällen hittades. 0 kurstillfällen. Utskriftsvänlig visning