# Automatically Proving the Correctness of Program Analyses and Transformations

> doctoral thesis by http://www.wikidata.org/entity/Q102243271, Computer Science & Engineering, University of Washington, 2006

**Wikidata**: [Q113668197](https://www.wikidata.org/wiki/Q113668197)  
**Source**: https://4ort.xyz/entity/automatically-proving-the-correctness-of-program-analyses-and-transformations


## References

1. WorldCat