Copenhagen Programming Language Seminar

Refinement, what is it? And how do you build your own?

David Streader
University of Waikato, New Zealand

Monday, November 9th, 2009, 14:00-15:00
The IT University, Rued Langgaards Vej 7, DK-2300, Room 3A12

Refinement is defined in a vast number of ways, some definitions are equivalent and some hard to even compare. Worse still the engineering consequences of picking one definition rather than another can be hard to work out. To shed some light on this we give an abstract, parameterized, definition of refinement that has a simple engineering interpretation. Specialising this definition by instantiating the parameters we can build some well known refinements. This allows us to compare and contrast some well known refinement theories. Lastly we make use of theory transformations (Galois connections) to both, make refinement more flexible and,to implement one theory of refinement in another. This provides interesting insights on some well known theories. The talk is largely conceptual and hopefully of interest to the non expert. David will be visiting the PLS group at ITU November 9th-10th, please contact Thomas (hilde@itu.dk) if you want to meet with him.

Scientific host:Thomas Hildebrandt Administrative host:Renée Korver Michan. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org