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
> Publications > Verifying properties of well-founded linked lists