Login / Signup
Affine Refinement Types for Secure Distributed Programming.
Michele Bugliesi
Stefano Calzavara
Fabienne Eigner
Matteo Maffei
Published in:
ACM Trans. Program. Lang. Syst. (2015)
Keyphrases
</>
cooperative
programming language
lightweight
multi agent
distributed systems
distributed environment
distributed data
computing environments
affine invariant
programming environment
general purpose
affine transformation
communication cost
multi party
development environment