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.