Saumya K. Debray  Home/Search
Context Related
| arizona.edu/people/debray/...modedep.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: arizona.edu/people/debray...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : Mode and data dependency analyses find many applications in the generation of efficient executable code for logic programs. For example, mode information can be used to generate specialized unification instructions where permissible; to detect determinacy and functionality of programs; to generate index structures more intelligently; to reduce the amount of runtime tests in systems that support goal suspension; and in the integration of logic and functional languages. Data dependency... (Update)
Cited by: More
An Optimizing Compiler for CLP(R) - Andrew Kelly Andrew (1995) (Correct)
Compile-Time Derivation of Variable Dependency Using Abstract .. - Muthukumar, al. (1992) (Correct)
Non-failure Analysis and Granularity Control in Parallel.. - Garcia (2000) (Correct)
Active bibliography (related documents): More All
0.4: Efficient Dataflow Analysis of Logic Programs - Debray (1992) (Correct)
0.3: Automatic Mode Inference for Logic Programs - Debray, Warren (1988) (Correct)
0.2: Transforming CHIP Programs to KL1 - Design and Implementation of .. - Varsamos (1994) (Correct)
Similar documents based on text: More All
0.1: Compiler Techniques for Code Compaction - Debray, Evans, Muth, De Sutter (2000) (Correct)
0.1: Extensions De Foncteurs Simples - Piriou, Schwartz (Correct)
0.0: Functional Computations in Logic Programs - Debray, Warren (1989) (Correct)
Related documents from co-citation: More All
25: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
20: Some Global Optimizations for a Prolog Compiler (context) - Mellish - 1985
20: A practical framework for the abstract interpretation of logic programs (context) - Bruynooghe - 1991
BibTeX entry: (Update)
S.K. Debray, "Static Inference of Modes and Data Dependencies in Logic Programs", ACM Transactions on Programming Languages and Systems, Vol. 11, No. 3, July 1989, pp. 418-450 http://citeseer.ist.psu.edu/debray89static.html More
@article{ debray89static,
author = "Saumya K. Debray",
title = "Static Inference of Modes and Data Dependencies in Logic Programs",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "11",
number = "3",
pages = "418--450",
year = "1989",
url = "citeseer.ist.psu.edu/debray89static.html" }
Citations (may not include all citations):815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
112 OLD-Resolution with Tabulation (context) - Tamaki, Sato - 1986
82 ACM Transactions on Programming Languages and Systems (context) - Debray, Warren et al. - 1989
62 Some Global Optimizations for a Prolog Compiler (context) - Mellish - 1985
51 Automatic Mode Inference for Logic Programs - Debray, Warren - 1988
49 Denotational and Operational Semantics for Prolog - Debray, Mishra - 1988
49 Negation and Control in Prolog (context) - Naish - 1986
48 Stepwise Development of Operational and Denotational Semanti.. (context) - Jones, Mycroft - 1984
48 Implementing Prolog - Compiling Predicate Logic Programs (context) - Warren - 1977
48 Abstract Interpretation of Prolog Programs (context) - Mellish - 1986
45 Extension Tables: Memo Relations in Logic Programming (context) - Dietrich - 1987
42 An Application of Abstract Interpretation of Logic Programs:.. (context) - Sndergaard - 1986
38 Swedish Institute of Computer Science (context) - User's - 1987
37 Abstract Interpretation: Towards the Global Optimization of .. (context) - Bruynooghe, Demoen et al. - 1987
36 The Automatic Generation of Mode Declarations for Prolog Pro.. (context) - Mellish - 1981
36 An Instance of Abstract Interpretation Integrating Type and .. (context) - Janssens, Bruynooghe - 1988
34 the Practicality of Global Flow Analysis of Logic Programs (context) - Warren, Hermenegildo et al. - 1988
34 Relating Logic Programs and Attribute Grammars (context) - Deransart, Mal - 1985
30 in and D. DeGroot, AND-Parallelism of Logic Programs Based o.. (context) - Chang, Despa - 1985
28 Transformation of Logic Programs into Functional Programs (context) - Reddy - 1984
22 Semi-Intelligent Backtracking of Prolog Based on Static Data.. (context) - Chang, Despain - 1985
20 The Occur-check Problem in Prolog (context) - Plaisted - 1984
18 Improving the Execution Speed of Compiled Prolog with Modes (context) - Van Roy, Demoen et al. - 1987
17 Fold Transformations and Loop Optimization of Logic Programs (context) - Debray - 1988
16 Flow Analysis of Prolog Programs (context) - Mannila, Ukkonen - 1987
9 Flow Analysis of Dynamic Logic Programs - Debray - 1989
1 Synthesizing Control Strategies for AND-Parallel Logic Progr.. (context) - Debray - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.arizona.edu/people/debray/papers/index.html): More
Reasoning About Naming Systems - Bowman, Debray, Peterson (1993) (Correct)
A Simple Program Transformation for Parallelism - Debray, Jain (1994) (Correct)
Towards Banishing the Cut from Prolog - Debray, Warren (1990) (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