[PL-sem-jr] Talk thursday, Thu 04/14

Tue Apr 12 17:26:39 EDT 2011

Thu 04/14, Room WVH166 10:00-12:00

Christos Dimoulas - Behavioral Contracts for Software Components

Behavioral contracts are executable specifications of the values
exchanged between two parties/components, the component that offers a
service and one of its clients. In this talk, we will see that this
simple description of contracts can lead us far in the investigation
of the semantics of contracts.