Antoni Kreczmar;Andrzej Salwicki;Marek Warpechowski
Univ. of Warsaw, Warsaw, Poland;Univ. of Warsaw, Warsaw, Poland;Univ. of Warsaw, Warsaw, Poland
On an algorithm determining direct superclasses in Java and similar languages with inner classes---Its correctness, completeness and uniqueness of solutions
Information and Computation
Magda: a new language for modularity
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce
Fundamenta Informaticae