Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
interfaces_for_atomicity [2007/06/21 15:55]
vasu.singh
interfaces_for_atomicity [2007/06/21 15:56] (current)
vasu.singh
Line 2: Line 2:
 static analysis for atomicity for non-blocking programs(http://​portal.acm.org/​citation.cfm?​doid=1065944.1065953). static analysis for atomicity for non-blocking programs(http://​portal.acm.org/​citation.cfm?​doid=1065944.1065953).
  
-The presentation is here. {{savcourse-atomicityinterfaces-relatedwork.ppt|}}+The presentation is {{savcourse-atomicityinterfaces-relatedwork.ppt|here.}}
  
 The project aims at developing an assume-guarantee reasoning for atomicity of concurrent threads in a program. The idea is to capture the behavior of each thread The project aims at developing an assume-guarantee reasoning for atomicity of concurrent threads in a program. The idea is to capture the behavior of each thread
-as an interface, and to check for compatibility of interfaces to reason about the atomicity of the original program.+as an interface, and to check for compatibility of interfaces to reason about the atomicity of the original program. ​The final presentation is {{final_presentation_-_interfaces_for_atomicity.ppt|here.}}
 
interfaces_for_atomicity.txt · Last modified: 2007/06/21 15:56 by vasu.singh
 
© EPFL 2018 - Legal notice