dblp.uni-trier.dewww.uni-trier.de

Zhenyu Qian Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2000
24EEZhenyu Qian, Allen Goldberg, Alessandro Coglio: A formal specification of JavaTM class loading. OOPSLA 2000: 325-336
23EEZhenyu Qian: Standard fixpoint iteration for Java bytecode verification. ACM Trans. Program. Lang. Syst. 22(4): 638-672 (2000)
1999
22EEZhenyu 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
20EEZhenyu Qian, Bernd Krieg-Brückner: Typed Object-Oriented Functional Programming with Late Binding. ECOOP 1996: 48-72
19EERé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
11EEZhenyu 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
9EETobias 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
7EETobias Nipkow, Zhenyu Qian: Modular Higher-Order E-Unification. RTA 1991: 200-214
1990
6EEZhenyu 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
4EEHans-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
1EEZhenyu Qian: Structured Contextual Rewriting. RTA 1987: 168-179

Coauthor Index

1Alessandro Coglio [24]
2Régis Curien [19]
3Allen Goldberg [24]
4Hans-Jörg Kreowski [4]
5Bernd Krieg-Brückner [16] [20]
6Besma Abd Moulah [21]
7Tobias Nipkow [7] [9] [13]
8Hui Shi [19]
9Kang Wang [8] [15] [17]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)