![PAT / Constraint programming / Software engineering / Program analysis / Static program analysis / George Necula PAT / Constraint programming / Software engineering / Program analysis / Static program analysis / George Necula](https://www.pdfsearch.io/img/093bf2def8f76f5b6eaf689b10e32b3b.jpg) Date: 2006-09-15 15:19:01PAT Constraint programming Software engineering Program analysis Static program analysis George Necula | | Program Analysis with Regularly Annotated Constraints by John Kodumal B.S. (Harvey Mudd College[removed]A dissertation submitted in partial satisfaction of the requirements for the degree ofAdd to Reading ListSource URL: theory.stanford.eduDownload Document from Source Website File Size: 928,68 KBShare Document on Facebook
|