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