Saumya K. Debray, David S. Warren  Home/Search
Context Related
Links: ACM DBLP | arizona.edu/people/debray/...modeinf.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: In general, logic programs are undirected, i.e. there is no concept of "input" and "output" arguments to a procedure. An argument may be used either as an input or as an output argument, and programs may be executed either in a "forward" direction or in a "backward" direction. However, it is often the case that in a given program, a predicate is used with some of its arguments used consistently as input arguments and others as output arguments. Such mode information can be used by a compiler to ... (Update)
Context of citations to this paper: More
.... in the same language as the one to be analyzed so that program analysis amounts to the execution of an abstract compilation of program) see e.g. [1, 4, 9, 34, 60]. Since the local analysis phases of the program parts P i , which consist in computing the xpoints lfp are delayed...
.... Two approaches are usually followed for verifying this property: i) the rst one uses abstract interpretation methods (see, for instance, [9, 31]) which always terminate, but may return a don t know answer, and (ii) the second one checks suitable syntactic properties of the...
Cited by: More
R. Orchard et al. (Eds.): IEA/AIE 2004, LNAI 3029.. - Springer-Verlag.. (Correct)
Appears in New Generation Computing, 15(4), 1997 - Static Analysis Of (1996) (Correct)
A General Framework for Semantics-based Bottom-up.. - Barbuti, Giacobazzi.. (1993) (Correct)
Similar documents (at the sentence level):
6.1%: Static Inference of Modes and Data Dependencies in Logic Programs - Debray (1989) (Correct)
Active bibliography (related documents): More All
0.3: 1983-1993: The Wonder Years of Sequential Prolog Implementation - Van Roy (1993) (Correct)
0.2: High-level Management of Computation History for the Design and.. - Loia (1992) (Correct)
0.2: Efficient Dataflow Analysis of Logic Programs - Debray (1992) (Correct)
Similar documents based on text: More All
0.1: Compiler Techniques for Code Compaction - Debray, Evans, Muth, De Sutter (2000) (Correct)
0.0: Flow Analysis of Dynamic Logic Programs - Debray (1989) (Correct)
0.0: Return Value Placement And Tail Call Optimization In High.. - Bigot, Debray (1999) (Correct)
Related documents from co-citation: More All
29: Foundations of Logic Programming (context) - Lloyd - 1987
16: Abstract interpretation of Prolog programs (context) - Mellish - 1986
16: Some Global Optimizations for a Prolog Compiler (context) - Mellish - 1985
BibTeX entry: (Update)
S.K. Debray and D.S. Warren, "Automatic Mode inference for Logic Programs", J. Logic Programming 5,3 (Sept.1988), pp. 207-229 http://citeseer.ist.psu.edu/debray88automatic.html More
@article{ debray88automatic,
author = "Saumya K. Debray and David Scott Warren",
title = "Automatic Mode Inference for Logic Programs",
journal = "Journal of Logic Programming",
volume = "5",
number = "3",
pages = "207-229",
year = "1988",
url = "citeseer.ist.psu.edu/debray88automatic.html" }
Citations (may not include all citations):815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977 DBLP
147 An Amateur's Introduction to Recursive Query Processing Stra.. (context) - Bancilhon, Ramakrishnan - 1986 ACM DBLP
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 DBLP
49 Negation and Control in Prolog (context) - Naish - 1986 ACM
48 Implementing Prolog - Compiling Predicate Logic Programs (context) - Warren - 1977
45 Extension Tables: Memo Relations in Logic Programming (context) - Dietrich - 1987 DBLP
37 Abstract Interpretation: Towards the Global Optimization of .. (context) - Bruynooghe, Demoen et al. - 1987 DBLP
36 The Automatic Generation of Mode Declarations for Prolog Pro.. (context) - Mellish - 1981
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 DBLP
28 Efficient Dataflow Analysis of Logic Programs - Debray - 1988 ACM DBLP
18 Improving the Execution Speed of Compiled Prolog with Modes (context) - Van Roy, Demoen et al. - 1987
16 The Memory Management of PROLOG Implementations (context) - Bruynooghe - 1982
16 Flow Analysis of Prolog Programs (context) - Mannila, Ukkonen - 1987 DBLP
12 Making Control and Data Flow in Logic Programs Explicit (context) - Smolka - 1984 ACM DBLP
10 Adding Redundancy to Obtain More Reliable and More Readable .. (context) - Bruynooghe - 1982
6 Global Optimization of Logic Programs (context) - Debray - 1986
5 Compile time Garbage Collection (context) - Bruynooghe - 1986
1 Mode Error Diagnosis in Interpreted Code - a Prolog Debuggin.. (context) - O'Keefe - 1981
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