A Type and Effect System for Determinism in Multithreaded Programs.

Yi Lu John Potter Chenyi Zhang Jingling Xue

Published in: ESOP (2012)

Keyphrases

multi user
data sets
neural network
image processing
hidden markov models
answer sets
fixpoint
java programs