Functional Abstract Interpretation

Pattern-matching und Funktionen höherer Ordnung sind zentrale Features funktionaler Programmiersprachen. Statische Programmanalysen entdecken Bugs und ermöglichen Programmoptimierungen. Meine Arbeit befasst sich mit der statischen Analyse funktionaler Programme: Ich stelle eine statische Analyse vor, die unvollständige Pattern Matches entdeckt und ein Design Pattern zur Formalisierung und Implementierung von Statischen Analysen mit Summary-Mechanismen.

Pattern-matching and higher-order functions are paradigmatic and highly influential features of functional programming languages such as Haskell. I present two results of my work to improve the Glasgow Haskell Compiler: the first is a static program analysis for pattern-match coverage checking that is both more efficient and more precise than the state of the art; the second is a design pattern for deriving static higher-order analyses and dynamic semantics alike from a generic denotational interpreter, generalising Cousot's seminal work on abstract interpretation to higher-order analyses.