6 search results - page 2 / 2 » Verifying Termination and Error-Freedom of Logic Programs wi... |
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...