Fencing off go: liveness and safety for channel-based programming.

Julien Lange Nicholas Ng Bernardo Toninho Nobuko Yoshida

Published in: POPL (2017)

Keyphrases

multi channel
programming language
multiple access
database
programming environment
programming environments
neural network
genetic algorithm
communication channels
general purpose
computer programming