Modular Shape Analysis for Dynamically Encapsulated Programs

ESOP07_ModularDynEnc.pdf
PDF file

In  Proceedings of the 16th European Symposium on Programming (ESOP)

Details

TypeInproceedings
> Publications > Modular Shape Analysis for Dynamically Encapsulated Programs