David Teller and Zhong Shao. Algorithm-independent framework for verifying integer constraints. Technical Report YALEU/DCS/TR-1195, Department of Computer Science, Yale University, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Algorithm-Independent Framework for Verifying Integer Constraints - Teller, Shao (2000) (1 citation) Self-citation (Teller) (Correct)
No context found.
D. Teller. Algorithm-independent framework for verifying integer constraints. Technical report, Dept. of Computer Science, Yale University, New Haven, CT, March 2000. Available at URL flint.cs.yale.edu/flint/publications. 10
Low-Level Linear Memory Management - Hawblitzel, Wei, Huang, Krupski.. (2004) (2 citations) (Correct)
No context found.
David Teller and Zhong Shao. Algorithm-independent framework for verifying integer constraints. Technical Report YALEU/DCS/TR-1195, Department of Computer Science, Yale University, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC