Michael Codish, Saumya K. Debray, Roberto Giacobazzi  Home/Search
Context Related
Links: ACM DBLP | cs.bgu.ac.il/pub/people/...popl93.ps.gz 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.bgu.ac.il/~mcodish/Pa...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a semantic basis for a compositional approach to the analysis of logic programs. A logic program is viewed as consisting of a set of modules, each module defining a subset of the program's predicates. Analyses are constructed by considering abstract interpretations of a compositional semantics. The abstract meaning of a module corresponds to its analysis and composition of abstract meanings corresponds to composition of analyses. Such an approach is essential for large... (Update)
Cited by: More
Modular Class Analysis with DATALOG - Besson, Jensen, Spoto (2003) (Correct)
A Model for Inter-module Analysis and Optimizing.. - Bueno, Banda.. (2000) (Correct)
A Generic Framework for Context-Sensitive Analysis .. - Puebla, Correas.. (Correct)
Similar documents (at the sentence level):
17.8%: Compositional Analysis of Modular Logic Programs - Codish, Debray, al. (1993) (Correct)
Active bibliography (related documents): More All
0.2: Semantic Foundations of Concurrent Constraint Programming - Saraswat, Rinard, Panangaden (1991) (Correct)
0.1: Analyzing Logic Programs Using "Prop"-Ositional Logic.. - Codish, Demoen (1995) (Correct)
0.1: Replay, Recovery, Replication, and Snapshots of.. - Gaifman, Maher, Shapiro (Correct)
Similar documents based on text: More All
0.3: Abductive Analysis of Modular Logic Programs - Giacobazzi (1997) (Correct)
0.3: A Generalized Semantics for Constraint Logic Programs - Roberto Giacobazzi Saumya (1992) (Correct)
0.2: Generalized Semantics And Abstract Interpretation For.. - Giacobazzi, Debray, Levi (1995) (Correct)
Related documents from co-citation: More All
25: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
19: Declarative modeling of the operational behavior of logic languages (context) - Falaschi, Levi et al. - 1989
18: Bottomup Abstract Interpretation of Logic Programs (context) - Codish, Dams et al. - 1990
BibTeX entry: (Update)
M. Codish, S.K. Debray, and R. Giacobazzi. Compositional Analysis of Modular Logic Programs. In , pages 451--464. ACM Press, 1993. http://citeseer.ist.psu.edu/codish93compositional.html More
@inproceedings{ codish93compositional,
author = "Michael Codish and Saumya K. Debray and Roberto Giacobazzi",
title = "Compositional Analysis of Modular Logic Programs",
booktitle = "Conference Record of the Twentieth Annual {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages",
address = "Charleston, South Carolina",
pages = "451--464",
year = "1993",
url = "citeseer.ist.psu.edu/codish93compositional.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
435 Towards a Theory of Declarative Knowledge (context) - Apt, Blair et al. - 1988 ACM DBLP
312 Systematic Design of Program Analysis Frameworks (context) - Cousot, Cousot - 1979
128 Declarative Modeling of the Operational Behavior of Logic La.. (context) - Falaschi, Levi et al. - 1989
53 Bottomup Abstract Interpretation of Logic Programs (context) - Codish, Dams et al. - 1990
48 A General Framework for Semantics-based Bottom-up Abstract I.. - Barbuti, Giacobazzi et al. - 1991
48 Comparing the Galois Connection and Widening/Narrowing Appro.. - Cousot, Cousot - 1992
42 Fully abstract compositional semantics for logic programs (context) - Gaifman, Shapiro - 1989 ACM DBLP
40 Suspension Analysis for Concurrent Logic Programs (context) - Codish, Falaschi et al. - 1991
39 An Algebra of Logic Programs (context) - Mancarella, Pedreschi - 1988
37 Abstract Interpretation: Towards the Global Optimization of .. (context) - Bruynooghe, Janssens et al. - 1987 DBLP
36 A Theory of Modules for Logic Programming (context) - Miller - 1986 DBLP
36 Contributions to the Semantics of Open Logic Programs (context) - Bossi, Gabbrielli et al. - 1992
25 Unfolding Rules and Fixpoint Semantics (context) - Levi - 1988
22 Register Allocation across Procedure and Module Boundaries (context) - Santhanam, Odnert - 1990
17 Interprocedural Optimization: Eliminating Unecessary Recompi.. (context) - Cooper, Kennedy et al. - 1986
15 A Theory of Modules Based on SecondOrder Logic (context) - Chen - 1987
14 Smart Recompilation (context) - Tichy, Baker - 1985
9 Fully abstract denotational semantics for Concurrent Prolog (context) - Gerth, Codish et al. - 1988
8 SICStus Prolog Users Manual (context) - Carlsson, Widen - 1988
6 Reactive Behavior Semantics for Concurrent Constraint Logic .. (context) - Gaifman, Maher et al. - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.bgu.ac.il/~mcodish/Papers/papers.html): More
Efficient Goal Directed Bottom-up Evaluation of Logic Programs - Codish (1998) (Correct)
Widening Pos for Efficient and Scalable Groundness .. - Codish, Heaton.. (1998) (Correct)
Semantic-Based Program Analysis for Logic-Based Languages.. - Codish, Demoen, Sagonas (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