Solving Regular Tree Grammar Based Constraints (2000)

by Yanhong A. Liu , Ning Li , Scott D. Stoller
Venue:In Proceedings of the 8th International Static Analysis Symposium
Citations:5 - 4 self

Documents Related by Co-Citation

25 Finite di erencing of computable expressions – R Paige, S Koenig - 1982
47 Static caching for incremental computation – Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum - 1998
32 Programming with invariants – R Paige - 1986
58 Answering regular path queries using views – Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi - 2000
4 Strengthening invariants for e#cient computation – Y A Liu, S D Stoller, T Teitelbaum - 2001
6 Program Optimization Using Indexed and Recursive Data Structures – Yanhong A. Liu, Scott D. Stoller - 2002
15 Efficiency by Incrementalization: An Introduction – Y A Liu - 2000
26 Dynamic programming via static incrementalization – Yanhong A. Liu, Scott D. Stoller - 1999
7 Program derivation by point computation – J Cai, R Paige - 1988
111 Finite differencing of computable expressions – R Paige, S Koenig - 1982
15 Type Analysis and Data Structure Selection – J. Cai, Ph. Facon, F. Henglein, R. Paige, E. Schonberg, Evry Cedex - 1991
5 Solving Regular Path Queries – Yanhong A. Liu, Fuxiang Yu - 2002
26 Real-time Simulation of a Set Machine on a RAM – Robert Paige, Robert Paige - 1994
27 The SETL2 Programming Language – W. Kirk Snyder - 1990
6 Formal Di erentiation: A Program Synthesis Technique, v olume 7 of Computer Science – R Paige - 1981
42 Efficient Bottom-Up Evaluation Of Logic Programs – Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan - 1992
35 Set Constraints and Set-Based Analysis – Nevin Heintze, Joxan Jaffar - 1994
81 Introduction to set constraint-based program analysis – Alexander Aiken - 1999
151 Programming with sets, an introduction to SETL – J T Schwartz, R B K Dewar, E Dubinsky, E Schonberg - 1986