Byeong-Mo Chang, et al.  Home/Search
Context
Related
| etlars.etri.re.kr/etrij/...160403.pdf 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: etlars.etri.re.kr/etrij/issues (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Interpretation Byeong-Mo Chang, Kwang-Moo Choe and Roberto Giacobazzi CONTENTS I. INTRODUCTION II. PRELIMINARIES III. TWO-PHASE ABSTRACT INTERPRETATION IV. EFFICIENT EXECUTION MODELS OF LOGIC PROGRAMS V. RELATED WORKS AND DISCUSSION VI. CONCLUDING REMARKS APPENDIX REFERENCES ABSTRACT This paper improves top-down execution models of logic programs based on a twophase abstract interpretation which consists of a bottom-up analysis followed by a topdown one. The two-phase analysis provides an... (Update)
Active bibliography (related documents): More All
0.2: S-Semantics Approach: Theory And Applications - Bossi, Gabbrielli, Levi.. (1994) (Correct)
0.2: Polymorphic Type Analysis in Logic Programs by Abstract.. - Lu (1998) (Correct)
0.2: Efficient Dataflow Analysis of Logic Programs - Debray (1992) (Correct)
Similar documents based on text: More All
0.4: Configuration of ACK Trees for Multicast Transport Protocols - Koh (2001) (Correct)
0.3: Validation of an Approach for Improving Existing Measurement .. - Mendonca, Basili (Correct)
0.2: Autonomous Acquisition of the Meaning of Sensory States.. - Choe, Bhamidipati (Correct)
BibTeX entry: (Update)
@article{ chang94improving,
author = "B.-M. Chang and K.-M. Choe and R. Giacobazzi",
title = "Improving {E}xecution {M}odels of {L}ogic {P}rograms by {T}wo-phase {A}bstract {I}nterpretation",
journal = "ETRI",
volume = "16",
number = "4",
pages = "27--47",
year = "1994",
url = "citeseer.ist.psu.edu/article/chang95improving.html" }
Citations (may not include all citations):1838 Foundation of Logic Programming (context) - Lloyd - 1984
815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
248 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
218 Abstract interpretation and application to logic programs (context) - Cousot, Cousot - 1992
128 Declarative modeling of the operational behavior of logic la.. (context) - Falaschi, Levi et al. - 1989
112 OLD resolution with tabulation (context) - Tamaki, Sato - 1986
73 Restricted AND-parallelism (context) - DeGroot - 1984
53 Bottom-up abstract interpretation of logic programs (context) - Codish, Dams et al. - 1995
48 A general framework for semantics-basedbottom-up abstract in.. - Barbuti, Giacobazzi et al. - 1993
45 Extension tables: memo relations in logic programming (context) - Dietrich, Warren - 1987
42 Enumeration of success patterns in logic programs (context) - Sato, Tamaki - 1984
30 in and D. DeGroot, "AND-parallelism of logic programs based .. (context) - Chang, Despa - 1985
23 Bottom-up abstract interpretation of logic programs (context) - Marriott, Sondergaard - 1988
18 Goal independency and call patterns in the analysis of logic.. - Gabbrielli, Giacobazzi - 1994
17 A bottom-up polymorphic type inference in logic programming (context) - Barbuti, Giacobazzi - 1992
14 Oracle semantics for Prolog - Barbuti, Codish et al. - 1992
12 Bottom-up dataflow analysis of normal logic programs (context) - Marriott, Sondergaard - 1992
12 Abstract interpretation based on OLDT resolution (context) - Kanamori, Kawamura - 1993
6 The AND/OR process model for parallel interpretation of logi.. (context) - Conery - 1983
6 Analyzing success patterns of logic programs by abstract hyb.. (context) - Kanamori, Kawamura - 1987
2 Efficient Bottom-up Execution of Logic Programs using Compil.. (context) - Chang - 1994
2 Efficient bottom-up execution of logic programs using abstra.. (context) - Chang, Choe et al. - 1993
1 A review of exploitation of ANDparallelism and combined AND/.. (context) - Zhang - 1994
1 Analysing logic programs using (context) - Codish, Demoen - 1993
1 Refined mark(s)-set-based backtrack literal selection for AN.. (context) - Kim, Choe et al. - 1992
Documents on the same site (http://etlars.etri.re.kr/etrij/issues.html): More
Low Threshold Current Density and High Efficiency.. - Hyo-Hoon Park And (Correct)
A Methodology for Variable Structure System Specification.. - Kyou Lee Kil (Correct)
An Adaptive Framework for Forecasting Demand and.. - Kang, Han, Yim (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