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