Behavioural Types : From Theory to Tools

Abstract

Các hệ thống loại hành vi trong ngôn ngữ lập trình hỗ trợ đặc tả và xác minh các thuộc tính của chương trình ngoài việc sử dụng hệ thống loại truyền thống để mô tả việc xử lý dữ liệu. Một ví dụ chính về đặc tính như vậy là tính chính xác của giao tiếp trong các hệ thống đồng thời và phân tán, được thúc đẩy bởi tầm quan trọng của giao tiếp có cấu trúc trong phần mềm hiện đại. Các loại hành vi: từ Lý thuyết đến Công cụ trình bày các ngôn ngữ lập trình và công cụ phần mềm do các thành viên của COST Action IC1201: Các loại hành vi cho Hệ thống phần mềm quy mô lớn đáng tin cậy, một mạng nghiên cứu Châu Âu được tài trợ từ tháng 10 năm 2012 đến tháng 10 năm 2016. Theo một cuộc khảo sát của những phát triển gần đây nhất trong việc ứng dụng các hệ thống loại hành vi, nó là tài liệu tham khảo có giá trị cho các nhà nghiên cứu trong lĩnh vực này, cũng như là lời giới thiệu về lĩnh vực này dành cho sinh viên sau đại học và nhà phát triển phần mềm.