CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Events  \  Event Organization Page Login  
banner bottom
File Top
António Ravara (Program Committee Member) @ 1st International Workshop on Behavioural Types (Satellite Workshop of POPL 2013, 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages)

Behavioural type systems in general, and in particular those based on typestate, are attracting a lot of attention as these are able to ensure more than the usual safety guarantees of static program analyses. In the last ten years the idea of "types-as-processes" has been explored in several directions, providing dedicated type algebras for particular properties, ranging from protocol compatibility to race-freedom or activeness, as well as general type systems for a wide range of properties. The approaches include those of session types, generic type systems and behavioural ontracts as well as other type-theoretic notions, e.g. intersection types, that can be used to specify the behaviour of systems. These approaches have given rise to several important results. This workshop aims to present contributions on the theory and applications of behavioural types and to foster discussion on the pros and cons of different approaches and on new directions and challenges in the area. Topics include, but are not limited to The theoretical foundations of behavioural types Relationships between different approaches Applications to language design and implementation Applications to security Applications to composition Applications to code generation New applications of behavioural types

Date: 22 Jan 2013

Event Type: Workshop

Scope: International

Location: Rome, Italy

File Bottom