Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types
暂无分享,去创建一个
[1] Jens Palsberg,et al. Object-oriented type inference , 1991, OOPSLA '91.
[2] Friedrich Steimann,et al. Decoupling classes with inferred interfaces , 2006, SAC.
[3] Jørgen Lindskov Knudsen. ECOOP 2001 — Object-Oriented Programming , 2001, Lecture Notes in Computer Science.
[4] Adam Kiezun,et al. Integrating Refactoring Support into a Java Development Tool , 2001, OOPSLA 2001.
[5] Edward V. Berard,et al. Essays on object-oriented software engineering , 1992 .
[6] Florian Forster,et al. Cost and benefit of rigorous decoupling with context-specific interfaces , 2006, PPPJ '06.
[7] Scott F. Smith,et al. Precise Constraint-Based Type Inference for Java , 2001, ECOOP.