ROSAEC center Seoul National University
NRF

Seminars & Workshops

Speaker:Bruno Oliveira , ROSAEC Center
When:2009-08-31 09:00
Place:Room 409, Bldg 302, SNU

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



© Copyright 2008-2010 ROSAEC Center, Seoul National University