潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Behavioural types : from theory to tools / edited by Simon Gay, Antonio Ravara.

出版发行项:

Gistrup : River Publishers, 2024.

ISBN:

9788770044271

载体形态项:

xxxiv, 375 pages : illustrations ; 24 cm.

丛编说明:

River Publishers series in automation, control and robotics

附加个人名称:

Gay, Simon, editor.

附加个人名称:

Ravara, Antonio, editor.

论题主题:

Computer programming.

论题主题:

Programming languages (Electronic computers)

中图法分类号:

TP313

一般附注:

Originally published: 2017.

书目附注:

Includes bibliographical references and index.

摘要附注:

Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.

豆瓣简介：