Program Analysis Using Mixed Term and Set Constraints

tic97.pdf
PDF file

In  Proceedings of the 4th International Static Analysis Symposium

Publisher  Springer Verlag

Details

TypeInproceedings
Pages114–126
Volume1302
SeriesLecture Notes in Computer Science
> Publications > Program Analysis Using Mixed Term and Set Constraints