  |
Qian, Zhenyu - http://www.informatik.uni-bremen.de/~qian/qian.html
Universität Bremen - Java security, extensions, and semantics; object-oriented, functional, concurrent, logic programming languages; specification languages; compiler construction; program specification, construction and transformation; object-oriented analysis and design; types; lambda-calculus; unification; algebraic semantics; and theorem proving systems. |