Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Program Analysis Using Mixed Term and Set Constraints

Manuel Fähndrich and Alexander Aiken

Details

Publication typeInproceedings
Published inProceedings of the 4th International Static Analysis Symposium
Pages114–126
Volume1302
SeriesLecture Notes in Computer Science
PublisherSpringer Verlag
> Publications > Program Analysis Using Mixed Term and Set Constraints