Copenhagen Programming Language Seminar

A Theory of Design-by-Contract for Distributed Multiparty Interactions

Kohei Honda - Queen Mary, University of London

(joint work with Laura Bocchi (Leicester), Emilio Tuosto (Leicester), and Nobuko Yoshida (Imperial College London))

Tuesday 17 August 2010, 14:00-15:00
 Auditorium 3 at the IT University

The approach known as Design by Contract (DbC) promotes
reliable software development through elaboration of type
signatures for sequential programs with logical formulae.
In this talk I will present our recent work on an assertion
method which generalises DbC baesd on multiparty session
types. Centring on the notion of global assertions and their
projections onto endpoints,the framework allows expressive
specifications and validation while allowing effective static
and dynamic validation. We illustrate the key results on this
assertion method, including relative completeness of its

proof system. and discuss its applications.

Scientific host: Marco Carbone 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