Research Topic

The Theory and Practice of Behavioural Types

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.

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.

About Frontiers Research Topics

With their unique mixes of varied contributions from Original Research to Review Articles, Research Topics unify the most influential researchers, the latest key findings and historical advances in a hot research area! Find out more on how to host your own Frontiers Research Topic or contribute to one as an author.

Topic Editors

Loading..

Submission Deadlines

28 August 2020 Manuscript

Participating Journals

Manuscripts can be submitted to this Research Topic via the following journals:

Loading..

Topic Editors

Loading..

Submission Deadlines

28 August 2020 Manuscript

Participating Journals

Manuscripts can be submitted to this Research Topic via the following journals:

Loading..
Loading..

total views article views article downloads topic views

}
 
Top countries
Top referring sites
Loading..