 | 2000 |
|---|
| 24 |       | Zhenyu Qian,
Allen Goldberg,
Alessandro Coglio:
A formal specification of JavaTM class loading.
OOPSLA 2000: 325-336 |
| 23 | | Zhenyu Qian:
Standard fixpoint iteration for Java bytecode verification.
ACM Trans. Program. Lang. Syst. 22(4): 638-672 (2000) |
| 1999 |
|---|
| 22 | | Zhenyu Qian:
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines.
Formal Syntax and Semantics of Java 1999: 271-312 |
| 1997 |
|---|
| 21 |  | Zhenyu Qian,
Besma Abd Moulah:
Entwurf und prototypische Implementierung einer objektorientierten funktionalen Programmiersprache.
GI Jahrestagung 1997: 612-621 |
| 1996 |
|---|
| 20 | | Zhenyu Qian,
Bernd Krieg-Brückner:
Typed Object-Oriented Functional Programming with Late Binding.
ECOOP 1996: 48-72 |
| 19 | | Régis Curien,
Zhenyu Qian,
Hui Shi:
Efficient Second-Order Matching.
RTA 1996: 317-331 |
| 18 | | Zhenyu Qian:
Unification of Higher-Order Patterns in Linear Time and Space.
J. Log. Comput. 6(3): 315-341 (1996) |
| 17 | | Zhenyu Qian,
Kang Wang:
Modular Higher-Order Equational Preunification.
J. Symb. Comput. 22(4): 401-424 (1996) |
| 1995 |
|---|
| 16 | | Zhenyu Qian,
Bernd Krieg-Brückner:
Object-Oriented Functional Programming and Type Reconstruction.
COMPASS/ADT 1995: 458-477 |
| 1994 |
|---|
| 15 | | Zhenyu Qian,
Kang Wang:
Modular AC Unification of Higher-Order Patterns.
CCL 1994: 105-120 |
| 14 | | Zhenyu Qian:
Higher-Order Equational Logic Programming.
POPL 1994: 254-267 |
| 13 | | Zhenyu Qian,
Tobias Nipkow:
Reduction and Unification in Lambda Calculi with a General Notion of Subtype.
J. Autom. Reasoning 12(3): 389-406 (1994) |
| 12 | | Zhenyu Qian:
Another Look at Parameterization for Order-Sorted Algebraic Specifications.
J. Comput. Syst. Sci. 49(3): 620-666 (1994) |
| 1993 |
|---|
| 11 | | Zhenyu Qian:
Linear Unification of Higher-Order Patterns.
TAPSOFT 1993: 391-405 |
| 10 | | Zhenyu Qian:
An Algebraic Semantics of Higher-Order Types with Subtypes.
Acta Inf. 30(6): 569-607 (1993) |
| 1992 |
|---|
| 9 | | Tobias Nipkow,
Zhenyu Qian:
Reduction and Unification in Lambda Calculi with Subtypes.
CADE 1992: 66-78 |
| 8 | | Zhenyu Qian,
Kang Wang:
Higher-Order E-Unification for Arbitrary Theories.
JICSLP 1992: 52-66 |
| 1991 |
|---|
| 7 | | Tobias Nipkow,
Zhenyu Qian:
Modular Higher-Order E-Unification.
RTA 1991: 200-214 |
| 1990 |
|---|
| 6 | | Zhenyu Qian:
Higher-Order Order-Sorted Algebras.
ALP 1990: 86-100 |
| 5 | | Zhenyu Qian:
Second-Order Unification in the Presence of Linear Shallow Algebraic Equations (Extended Abstract).
CTRS 1990: 448-453 |
| 4 | | Hans-Jörg Kreowski,
Zhenyu Qian:
Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results.
STACS 1990: 165-175 |
| 1988 |
|---|
| 3 | | Zhenyu Qian:
Parameterization of Order-Sorted Algebraic Specifications with Built-In Coercers.
ADT 1988 |
| 2 | | Zhenyu Qian:
Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing.
Categorial Methods in Computer Science 1988: 244-260 |
| 1987 |
|---|
| 1 | | Zhenyu Qian:
Structured Contextual Rewriting.
RTA 1987: 168-179 |
