Travelled to:
1 × The Netherlands
Collaborated with:
H.Zhang B.C.d.S.Oliveira M.Servetto
Talks about:
classless (1) hierarch (1) dispatch (1) overrid (1) formal (1) model (1) java (1) fhj (1)
Person: Yanlin Wang
DBLP: Wang:Yanlin
Contributed to:
Wrote 2 papers:
- GPCE-2016-WangZOS #java
- Classless Java (YW, HZ, BCdSO, MS), pp. 14–24.
- ECOOP-2018-WangZOS #formal method #named
- FHJ: A Formal Model for Hierarchical Dispatching and Overriding (YW, HZ, BCdSO, MS), p. 30.