About this Research Topic
Over the past two decades, a new approach to type disciplines for communicating and concurrent programs has emerged, namely that of behavioral types, and the approach is becoming increasing well-developed.
One aspect that all approaches have in common is that they deal with concepts that arise in the setting of communication and concurrency such as interfaces, communication protocols, contracts, and choreographies. These concepts are integrated into type disciplines for programming languages and process calculi.
There are various approaches. Among them is the notion of session types that originated in the setting of the pi-calculus and type systems for describing the protocols followed by named communication channels. Another approach is that of typestates, which has been used for type systems for object-oriented programming languages and annotates the type of an object with information pertaining to its current state. Yet other approaches to behavioral types are type/effect systems used for expressing intentional aspects such as communication behavior as effects alongside types and contracts that use notions from process calculi to express these behavioral aspects.
This Research Topic invites contributions spanning the field of behavioral types, including but not restricted to the approach mentioned above. We seek high-quality original research papers not previously published nor under review by another conference or journal. Survey papers are also welcomed provided their topic is of special interest.
Specific topics include but are not limited to:
- New foundations and approaches
- Relations between different approaches to behavioral types
- Applications of behavioral types to programming languages and program analysis
- Applications of behavioral types to software security
- Applications of behavioral types to software development.
Keywords: behavioural types, program analysis, software development, software security, session types, pi-calculus, type systems, effect systems
Important Note: All contributions to this Research Topic must be within the scope of the section and journal to which they are submitted, as defined in their mission statements. Frontiers reserves the right to guide an out-of-scope manuscript to a more suitable section or journal at any stage of peer review.