Verifying properties of well-founded linked lists

popl06-havoc.pdf
PDF file

In  Principles of Programming Languages (POPL '06)

Publisher  ACM

Details

TypeInproceedings
Pages115-126
ISBN1-59593-027-2
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Verifying properties of well-founded linked lists