Nicolas Wu : Publications
|
[1] |
Incremental Updates for Efficient Bidirectional Transformations Meng Wang‚ Jeremy Gibbons and Nicolas Wu In ICFP. September, 2011. |
|
[2] |
Towards Formally Templated Relational Database Representations in Z Nicolas Wu and Andrew Simpson In Proceedings of the Second International Conference on Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Vol. 5977 of Lecture Notes in Computer Science. Pages 363−376. Springer−Verlag. 2010. |
|
[3] |
PROCEEDINGS OF THE OXFORD UNIVERSITY COMPUTING LABORATORY STUDENT CONFERENCE 2009 Programme Co−Chairs: Lu Feng‚ John Lyle and Nicolas Wu No. RR−09−14. OUCL. November, 2009. |
|
[4] |
A Functional Implementation of the Formal Template Language Nicolas Wu No. RR−09−10. OUCL. October, 2009. |