2000 |
24 | EE | Zhenyu Qian,
Allen Goldberg,
Alessandro Coglio:
A formal specification of JavaTM class loading.
OOPSLA 2000: 325-336 |
23 | EE | Zhenyu Qian:
Standard fixpoint iteration for Java bytecode verification.
ACM Trans. Program. Lang. Syst. 22(4): 638-672 (2000) |
1999 |
22 | EE | 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 | EE | 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 |