PhD. Student
RCOS Group
UNU-IIST, Macau
Tel: +853 85040464 Email: liang@iist.unu.edu
Research Interests
▪
Type Systems,
Semantics and Refinement
▪
Graph
and Graph Transformation
▪
Object-Oriented
Programming and Development
▪
Service-Oriented
Calculus
▪
Formal
Methods in Software Development
Publications
▪
L. Zhao, X. Liu, Z. Liu and Z. Qiu, Graph transformations for
object-oriented refinement. In Formal Aspects of
Computing 21, 1-2, 103-131. DOI= http://dx.doi.org/10.1007/s00165-007-0067-y,
2009.
▪
X.
Liu, Z. Liu and L. Zhao.
Object-oriented structure refinement - a graph transformational approach. Electronic Notes in Theoretical Computer
Science, 187, 145-159, 2006.
▪
L. Zhao, X. Zhao, Q. Long and Z. Qiu. A type system for the
relational calculus of object systems. In Proc.
of International Conference on Engineering Complex Computer Systems, 189-198.
IEEE Computer Soceity, 2006.