Program Analysis Using Mixed Term and Set Constraints
Manuel Fähndrich and Alexander Aiken
September 1997
 PDF file |
In: Proceedings of the 4th International Static Analysis Symposium
Publisher: Springer Verlag
Details
| Type: | Inproceedings |
| Pages: | 114–126 |
| Volume: | 1302 |
| Series: | Lecture Notes in Computer Science |
©2009 Microsoft Corporation. All rights reserved.