Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Sun 17 Jul 2016 14:30 - 14:50 at Foscolo - Summer

We explore the use of liveness for interactive program verification for a simple concurrent object language. Our experimental IDE integrates two (formally dual) kinds of continuous testing into the development environment: compatibility-checking, which verifies an object’s use of other objects, and compliance-checking, which verifies an object’s claim to refine the behaviour of another object. Source code errors highlighted by the IDE are not static type errors but the reflection back to the source of runtime errors that occur in some execution of the system. We demonstrate our approach, and discuss opportunities and challenges.

Sun 17 Jul

LIVE-2016
13:50 - 15:20: LIVE - Summer at Foscolo
LIVE-201613:50 - 14:10
Talk
Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz
Pre-print
LIVE-201614:10 - 14:30
Talk
Tijs van der StormCWI, Felienne HermansDelft University of Technology
Pre-print
LIVE-201614:30 - 14:50
Talk
Roly PereraUniversity of {Glasgow, Edinburgh}, Simon J. Gay
Pre-print Media Attached
LIVE-201614:50 - 15:20
Other