Kyung-Woo Kang, Kwang-Moo Choe  Home/Search
Context
Related
| cs.kaist.ac.kr/librar...CSTR96103.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.kaist.ac.kr/library/tr/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we propose an efficient method of constructing states in bottom-up tree pattern matching with dynamic programming technique for optimal code generation. This method can be derived from some relations over tree patterns. The proposed scheme is more efficient than other scheme because we can avoid unfruitful tests with the smaller size of the scheme. Furthermore, the relevant analyses needed for this proposal are largely achieved at compile-compile time, which secures actual... (Update)
Similar documents (at the sentence level):
16.6%: An Efficient Bottom-Up Tree Pattern Matching That.. - Kyung-Wookang.. (Correct)
7.2%: An Efficient Bottom-Up Tree Pattern Matching for Code Selection .. - Kang, Choe (Correct)
Active bibliography (related documents): More All
0.3: The Systematic Development of a Pattern-Matching Algorithm using.. - Nymeyer (1997) (Correct)
0.2: Code Generation Techniques - Proebsting (1992) (Correct)
0.2: On the Automatic Generation of Instruction Selector Using.. - Kang, Choe (1995) (Correct)
Similar documents based on text: More All
0.1: Static Slicing of a First-Order Functional Language based on.. - Ahn, Han (1999) (Correct)
0.1: A Proof Method for the Correctness of Modularized 0CFA - Lee, Yi, Paek (2002) (Correct)
0.1: Design and Implementation of a Data-Parallel Language based on.. - Ahn, Han (Correct)
BibTeX entry: (Update)
@inproceedings{ kang96efficient,
author = "Inhye Kang and Insup Lee",
title = "An Efficient State Space Generation for Analysis of Real-Time Systems",
booktitle = "International Symposium on Software Testing and Analysis",
pages = "4-13",
year = "1996",
url = "citeseer.ist.psu.edu/article/kang96efficient.html" }
Citations (may not include all citations):1399 Compilers-Principles (context) - Aho, Sethi et al. - 1986
98 Compiler: Design and Implementation (context) - Fraser, Hanson et al. - 1995
91 Code Generation Using Tree Matching and Dynamic Programming (context) - Aho, Ganapathi et al. - 1989
67 BURG-Fast Optimal Instruction Selection and Tree Parsing - Fraser, Henry et al. - 1991
56 Pattern Matching in Trees (context) - Hoffmann, O'Donnell - 1982
22 Simple and efficient BURS table generation (context) - Proebsting - 1992
21 The Complexity of Trie Index Construction (context) - Comer, Sethi - 1977
20 An improvement to bottom-up tree pattern matching (context) - Chase - 1987
19 Optimal Code Generation for Expression Trees: An Application.. (context) - Pelegri-Liopart, Graham - 1988
17 Efficient retargetable code generation using bottom-up tree .. (context) - Balachandran, Dhamdhere et al. - 1990
7 Efficient Code Generator Generator (context) - Fraser, Hanson et al. - 1992
5 Department of Computer Science (context) - Proebsting, Fischer et al. - 1992
5 and Code Generation (context) - Pelegri-Liopart, Systems et al. - 1988
2 the Automatic Generation of Instruction Selector Using Botto.. - Kang, Choe - 1995
Documents on the same site (http://cs.kaist.ac.kr/library/tr/): More
On Scheduling Wireless Broadcast Data - Kim (1998) (Correct)
Multi-way Spatial Joins Using R-trees: Methodology and.. - Park, Cha, Chung (1999) (Correct)
HOONets: Hierarchical Object-Oriented Petri Nets for System.. - Hong, Bae (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC