{ void m1() {…} }

More documents

Recommendations

Info

Please think how you’d implement inheritance Odds are you’re thinking of direct semantics
Classes can be defined in new ways Since programs are not translated,good old method lookup can’t work anymoreExtendedLanguageLanguageclass C1 {void m1() {…}}We can computelookup(C, m)=…class C2 extends C1 {void m2() {…}}lookup(C2, m1)=???For instance, lookup(C1, m1)=…
Page 2: Flattening and Direct semantics By
Page 5 and 6: class C1 {void m1() {…}}class C2
Page 14 and 15: Needs to know whatextends means For
Page 19 and 20: Nice per se More than that, can enc
Page 23 and 24: class C merge{abstract void m();fro
Page 25 and 26: class C { // equivalent flattened d
Page 27 and 28: class A {abstract void m();frozen i
Page 29 and 30: lookup(B, answer) = lookup(ClassExp

{ void m1() {…} }

Create successful ePaper yourself

Delete template?

Save as template?