Searching for authors named "Zhenyu Qian" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Standard Fixpoint Iteration for Java Bytecode Verification
- …Standard Fixpoint Iteration for Java Bytecode Verification Zhenyu Qian Kestrel Institute, 3260…
- Cited by 23 (0 self) – Add To MetaCart
-
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines
- … and Subroutines ? Zhenyu Qian Bremen Institute for Safe Systems (BISS), FB3 Informatik, Universitat Bremen, D…
- Cited by 43 (1 self) – Add To MetaCart
-
Constraint-Based Specification and Dataflow Analysis for Java Bytecode Verification
- …Constraint-Based Specification and Dataflow Analysis for Java TM Bytecode Verification Zhenyu…
- Cited by 1 (1 self) – Add To MetaCart
-
Least Types for Memory Locations in Java Bytecode
- …Least Types for Memory Locations in Java TM Bytecode (Extended Summary) Zhenyu Qian Kestrel…
- Cited by 11 (0 self) – Add To MetaCart
-
Reduction and Unification in Lambda Calculi with a General Notion of Subtype
- …Reduction and Unification in Lambda Calculi with a General Notion of Subtype Zhenyu Qian FB3…
- Cited by 2 (1 self) – Add To MetaCart
-
COMPASS WG 6112 Interim Report: October 1, 1992 - September 30, 1993
- …--12h45 Tobias Nipkow and Zhenyu Qian: Reduction and Unification in Lambda Calculi with Subtypes 12h45…
- Add To MetaCart
-
A Formal Specification of Java Class Loading
- …A Formal Specication of Java TM Class Loading Zhenyu Qian, Allen Goldberg ? , and Alessandro…
- Cited by 25 (2 self) – Add To MetaCart
-
Efficient Second-Order Matching
- …Efficient Second-Order Matching ? R'egis Curien 1 Zhenyu Qian 2 Hui Shi 2 1 CRIN…
- Cited by 18 (2 self) – Add To MetaCart
-
Toward a Provably-Correct Implementation of the JVM Bytecode Verifier
- … Goldberg Zhenyu Qian Kestrel Institute coglio, goldberg, qian@(email omitted); Abstract This paper reports…
- Cited by 33 (5 self) – Add To MetaCart
-
Toward a Provably-Correct Implementation of the JVM Bytecode Verifier
- … Goldberg Zhenyu Qian Kestrel Institute, 3260 Hillview Avenue Palo Alto, CA 94304, USA fcoglio, goldberg…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
