Brief Announcement: Dynamic Determinacy Race Detection for Task Parallelism with Futures
MULTILISP: a language for concurrent symbolic computation