@inproceedings{ChYi00b, author = "Byeong-Mo Chang and Kwangkeun Yi", title = "Constraint-based Analysis for Java", booktitle = "Proceedings of the SSGRR Conference on Computer and E-Business", address = "L'Aquila, Italy", year = "2000 (invited presentation)" }