Fencing off Go: Liveness and Safety for Channel-based Programming (extended version).

Julien Lange Nicholas Ng Bernardo Toninho Nobuko Yoshida

Published in: CoRR (2016)

Keyphrases

multi channel
programming language
databases
neural network
programming environment
information systems
knowledge base
united states
development environment
multiple access
channel capacity
high level language