A type and effect system for atomicity.

Cormac Flanagan Shaz Qadeer

Published in: PLDI (2003)

Keyphrases

electronic commerce
neural network
multiple types
multiscale
multi agent
learning environment