Dissertation: Functional Abstract Interpretation

[graf24thesis]

Sebastian Graf, Functional Abstract Interpretation, December 2024.

Download

[DOI]

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.

BibTeX

@phdthesis{graf24thesis,
  title = {Functional Abstract Interpretation},
  year = {2024},
  month = dec,
  organization = {Karlsruher Institut f{\"u}r Technologie, Fakult{\"a}t f{\"u}r Informatik},
  author = {Sebastian Graf},
  doi = {10.5445/IR/1000177868},
}

Institutsinterne Autoren

Ehemalige Mitarbeiter
Dr.-Ing. Sebastian Graf