Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ


Choose your language

InfoQ Homepage Presentations Towards Specifications of Robustness - the Things That Programs do _not_ do

Towards Specifications of Robustness - the Things That Programs do _not_ do



Sophia Drossopoulou discusses holistic specifications", an extension of traditional program specifications that support the expression of robustness properties through a logic with spatial and temporal features.


Sophia Drossopoulou is Professor of Programming Languages at Imperial College London. She started her career in research in compilers, and in particular parsers and attribute grammars. She has also been working on type systems, module systems, ownership types, traits, type-state and session types for OO languages, and concurrency.

About the conference

Code Mesh LDN, the Alternative Programming Conference, focuses on promoting useful non-mainstream technologies to the software industry. The underlying theme is "the right tool for the job", as opposed to automatically choosing the tool at hand.

Recorded at:

Apr 19, 2019

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p