Copenhagen Programming Language Seminar
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.
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 email@example.com with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org