Partial Rely—Guarantee Reasoning for Pluggable Types

2024-06-10

I wrote a blog post on the work I've been doing over the past few months, which you can find on the UW PLSE blogs page. Sometimes, it turns out that you don't want to verify all the given properties of a program, just the ones you care about.