Room: BBL room 471
Title: Web Cube: 2nd Prototype and the Theory Behind
Web Cube is a programming model for writing web applications. We will show you its second prototype, which has a quite different architecture than the first one presented in the summer. One of its interesting features is automated and isolated testing, as well as contract-contract verification. However to get it right you need to do something extra, in particular because parallel composition of programs tend to destroy properties, e.g. properties concerning security. We'll show you the trick, and the bits of formality needed to express it.
-- Wishnu Prasetya
- 04 Oct 2006