Travelled to:1 × The Netherlands
1 × United Kingdom
Collaborated with:Z.Hu H.Ko H.Pacheco L.Liu
Talks about:bidirect (3) putback (2) languag (2) updat (2) base (2) transform (1) function (1) program (1) librari (1) verifi (1)
Person: Tao Zan
DBLP: Zan:Tao
Contributed to:
2014
2016
2016Wrote 3 papers:
- PPDP-2014-PachecoZH #bidirectional #functional #named #xml
- BiFluX: A Bidirectional Functional Update Language for XML (HP, TZ, ZH), pp. 147–158.
- BX-2016-ZanLKH #bidirectional #library #named
- Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views (TZ, LL, HSK, ZH), pp. 77–89.
- PEPM-2016-KoZH #bidirectional #named #programming
- BiGUL: a formally verified core language for putback-based bidirectional programming (HSK, TZ, ZH), pp. 61–72.