Resources, Concurrency and Local Reasoning Seminars/Workshops
|Speaker:||Peter W. O'Hearn|
|Place:||Room 319-2, Bldg 302, SNU|
Resource has always been a central concern in concurrent programming. Often, a number of process share access to system resources such as memory, processor time, or network bandwidth, and correct resource usage is essential for the overall working of a system. We show how a resource-oriented logic, separation logic, can be used to reason about resource control in concurrent programs.
[ List ]