|
Featherweight Java ist Miniaturmodell von Java. Der Vortrag geht auf das Problem der Typsicherheit ein und demonstiert, was Featherweight Java als Berechnungsmodell für objektorientierte Sprachen leistet. Im letzten Kapitel wird das Konzept der Typparameter vorgestellt.
Literatur
- A. Igarashi, B. Pierce, P. Wadler. Featherweight Java - A Minimal Core Calculus for Java and GJ in: Proc. 1999 Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 99), ACM SIGPLAN NOT. 34, 10
- G. Bracha, M. Odersky, D. Stoutamire, P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language in: Craig Chambers, editor, OOPSLA, ACM SIGPLAN Notices volume 33 number 10, Oktober 1998
|
|