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 |