Premium
Joyce—A programming language for distributed systems
Author(s) -
Hansen Per Brinch
Publication year - 1987
Publication title -
software: practice and experience
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
ISBN - 0-387-95401-5
DOI - 10.1002/spe.4380170105
Subject(s) - computer science , compiler , programming language , disjoint sets , pascal (unit) , variety (cybernetics) , theoretical computer science , distributed computing , artificial intelligence , mathematics , combinatorics
This paper describes a secure programming language called Joyce based on CSP and Pascal. Joyce permits unbounded (recursive) activation of communicating agents. The agents exchange messages through synchronous channels. A channel can transfer messages of different types between two or more agents. A compiler can check message types and ensure that agents use disjoint sets of variables only. The use of Joyce is illustrated by a variety of examples.