Making Set-Constraint Based Program Analyses Scale

Manuel Fähndrich and Alex Aiken

Details

Publication typeInproceedings
Published inFirst Workshop on Set Constraints at CP'96
> Publications > Making Set-Constraint Based Program Analyses Scale