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 ]