Components and Static analysis

Abstract

This talk will serve as an introduction to some of my previous research on the area of software components and to present some initial ideas on how to combine that line of research with Static Analysis. In the first part of my talk I will sketch the basic ideas behind Datatype-Generic Programming (DGP), and discuss some of my results and ongoing work on Software Extensibility. In the second part of my talk I will discuss how DGP can be helpful for the implementation of static analysis tools, and how it could be used to improve the current approaches to software testing in functional languages like Haskell or Erlang.

Resources

• talk slide