Tutorial
Published in ACM SIGAda Ada Letters • Nov 10, 2013
NobleIDNI5P84W96R83S20
Authors:
S. Tucker Taft
Abstract
This tutorial will introduce the attendees to analysis and proof techniques for programs using parallelism and multi-threading. There are no specific prerequisites, but a familiarity with the notions of preconditions and postconditions, aliasing, race conditions, and deadlocks would be of value. The...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!