Zhenyu Qian

24 papers A* 1A 3Journal 5Unranked 14
YearRankTypeTitle / Venue / Authors
1999 — conf
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines.
Formal Syntax and Semantics of Java
Zhenyu Qian
1997 — conf
Entwurf und prototypische Implementierung einer objektorientierten funktionalen Programmiersprache.
GI Jahrestagung
Zhenyu Qian, Besma Abd Moulah
1996 — conf
Efficient Second-Order Matching.
RTA
Régis Curien, Zhenyu Qian, Hui Shi
1996 J jnl
Modular Higher-Order Equational Preunification.
J. Symb. Comput.
Zhenyu Qian, Kang Wang
1996 A conf
Typed Object-Oriented Functional Programming with Late Binding.
ECOOP
Zhenyu Qian, Bernd Krieg-Brückner
1996 J jnl
Unification of Higher-Order Patterns in Linear Time and Space.
J. Log. Comput.
Zhenyu Qian
1995 — conf
Efficient Second-Order AC-Matching Algorithm.
UNIF
Régis Curien, Zhenyu Qian
1995 — conf
Object-Oriented Functional Programming and Type Reconstruction.
COMPASS/ADT
Zhenyu Qian, Bernd Krieg-Brückner
1994 J jnl
Another Look at Parameterization for Order-Sorted Algebraic Specifications.
J. Comput. Syst. Sci.
Zhenyu Qian
1994 A* conf
Higher-Order Equational Logic Programming.
POPL
Zhenyu Qian
1994 — conf
Modular AC Unification of Higher-Order Patterns.
CCL
Zhenyu Qian, Kang Wang
1994 J jnl
Reduction and Unification in Lambda Calculi with a General Notion of Subtype.
J. Autom. Reason.
Zhenyu Qian, Tobias Nipkow
1993 J jnl
An Algebraic Semantics of Higher-Order Types with Subtypes.
Acta Informatica
Zhenyu Qian
1993 — conf
Linear Unification of Higher-Order Patterns.
TAPSOFT
Zhenyu Qian
1992 — conf
Higher-Order E-Unification for Arbitrary Theories.
JICSLP
Zhenyu Qian, Kang Wang
1992 A conf
Reduction and Unification in Lambda Calculi with Subtypes.
CADE
Tobias Nipkow, Zhenyu Qian
1991 — —
Extensions of order-sorted algebraic specifications: parameterization, higher-order functions and polymorphism.
Zhenyu Qian
1991 — conf
Modular Higher-Order
RTA
Tobias Nipkow, Zhenyu Qian
1990 — conf
Higher-Order Order-Sorted Algebras.
ALP
Zhenyu Qian
1990 A conf
Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results.
STACS
Hans-Jörg Kreowski, Zhenyu Qian
1990 — conf
Second-Order Unification in the Presence of Linear Shallow Algebraic Equations (Extended Abstract).
CTRS
Zhenyu Qian
1988 — conf
Parameterization of Order-Sorted Algebraic Specifications with Built-In Coercers.
ADT
Zhenyu Qian
1988 — conf
Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing.
Categorial Methods in Computer Science
Zhenyu Qian
1987 — conf
Structured Contextual Rewriting.
RTA
Zhenyu Qian