MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Yanhong Liu" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

42 documents found, showing 1 through 10. Next 10 →

ATOM

Dependence Analysis for Recursive Data
by Yanhong Liu — 1998 — In Proceedings of the IEEE 1998 International Conference on Computer Languages
…Dependence Analysis for Recursive Data Yanhong A. Liu Abstract This paper describes a general…
Cited by 10 (5 self) – Add To MetaCart

Automatic Accurate Time-Bound Analysis for High-Level Languages
by Yanhong Liu, Gustavo Gomez — 1998 — In Proceedings of the ACM SIGPLAN 1998 Workshop on Languages, Compilers, and Tools for Embedded Systems, volume 1474 of Lecture Notes in Computer Science
…Automatic Accurate Time-Bound Analysis for High-Level Languages Yanhong A. Liu and Gustavo Gomez…
Cited by 31 (8 self) – Add To MetaCart

CACHET: An interactive, incremental-attribution-based program transformation system for deriving incremental programs
by Yanhong A. Liu — 1995 — In Proceedings of the 10th Knowledge-Based Software Engineering Conference
… incremental programs Yanhong A. Liu Department of Computer Science, Cornell University, Ithaca, NY 14853…
Cited by 9 (8 self) – Add To MetaCart

Principled Strength Reduction
by Yanhong A. Liu — 1996 — Algorithmic Languages and Calculi
…Principled Strength Reduction Yanhong A. Liu August 1996 Abstract This paper presents a…
Cited by 10 (9 self) – Add To MetaCart

Caching Intermediate Results for Program Improvement
by Yanhong Liu, Tim Teitelbaum — 1995 — In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
…Caching Intermediate Results for Program Improvement Yanhong A. Liu Tim Teitelbaum March 1995…
Cited by 17 (7 self) – Add To MetaCart

CACHET: An interactive, incremental-attribution-based program transformation system for deriving incremental programs
by Yanhong Liu Department, Yanhong A. Liu — 1995 — In Proceedings of the 10th Knowledge-Based Software Engineering Conference
… incremental programs Yanhong A. Liu Department of Computer Science, Cornell University, Ithaca, NY 14853…
Add To MetaCart

Automatic Time-Bound Analysis for a Higher-Order Language
by Gustavo Gomez, Yanhong A. Liu — 2002
…)855-4829 ggomezes@(email omitted); Yanhong A. Liu Computer Science Department 215 Lindley Hall Indiana University…
Cited by 14 (4 self) – Add To MetaCart

Solving Regular Path Queries
by Yanhong A. Liu, Fuxiang Yu — 2002 — In Proceedings of the 6th International Conference on Mathematics of Program Construction
…Solving Regular Path Queries ? Yanhong A. Liu and Fuxiang Yu Computer Science Dept., State…
Cited by 4 (3 self) – Add To MetaCart

Incremental Computation for Transformational Software Development
by Yanhong A. Liu, Tim Teitelbaum — 1995
…Incremental Computation for Transformational Software Development Yanhong A. Liu Tim Teitelbaum…
Cited by 3 (3 self) – Add To MetaCart

Improved algorithm complexities for linear temporal logic model checking of push down systems
by Katia Hristova, Yanhong A. Liu — 2006 — In Proceedings of the 7th International Conference on Verification, Model Checking and Abstract Interpretation
… ⋆ Katia Hristova ⋆⋆ and Yanhong A. Liu Computer Science Department, State University of New York, Stony…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB