Informatics Seminar on Friday December 14 at 16.00 - Bertrand Meyer

Decanato - Facoltà di scienze informatiche

Data d'inizio: 14 Dicembre 2007

Data di fine: 15 Dicembre 2007

The Faculty of Informatics is pleased to announce a seminar given by Bertrand Meyer

 

TITLE: A systematic approach to concurrent programming 

SPEAKER: Bertrand Meyer, ETH Zurich

DATE: Friday, December 14, 2007

PLACE: USI Lugano, Room SI - 006, Informatics Building (Via G. Buffi 13)

TIME: 16.00-17.00

ABSTRACT:

The increasing practical importance of concurrent hardware and network architectures makes it ever more urgent to find reliable ways of building concurrent programs, beyond the 1960-style techniques still prevalent today. The SCOOP approach, based on the application of Design by Contract techniques to a concurrent setup, has recently made significant advances, both on the implementation side and with respect to the theoretical model. I will describe SCOOP as it exists today, present the implementation, and describe the underlying semantics, which considers correctness as a special case of waiting.