Microsoft Research
Microsoft Translator |
Proving thread termination

Byron Cook, Andreas Podelski, and Andrey Rybalchenko
2007

In  PLDI'2007: Programming Language Design and Implementation

Publisher  ACM Press

Details

TypeInproceedings
Pages320–330
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Proving thread termination