Helmut Seidl, Christian Fecht  Home/Search
Context Related
| informatik.unitrier.de/~se...jlp.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: informatik.unitrier.d...journals (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a framework for program analysis of languages with procedures which is general enough to allow for a comparison of various approaches to interprocedural analysis. Our framework is based on a small-step operational semantics and subsumes both frameworks for imperative and for logic languages. We consider reachability analysis, that is, the problem of approximating the sets of program states reaching program points. We use our framework in order to clarify the impact of several... (Update)
Context of citations to this paper: More
...guaranteed to represent a safe approximation of the values. Quite frequently, however, the least solution of C equals the MOP solution [10, 13]. Then we speak of coincidence of the solutions, meaning that C precisely characterizes the MOP. In our present application, we are...
Cited by: More
Global Invariants for Analyzing Multi-threaded Applications - Seidl, Vene, Müller-Olm (Correct)
Constraint-Based Inter-Procedural Analysis of Parallel Programs - Seidl, Steffen (2000) (Correct)
Similar documents (at the sentence level):
5.0%: Interprocedural Analysis Based on PDAs - Seidl, Fecht (1997) (Correct)
Active bibliography (related documents): More All
1.6: Propagating Differences: An Efficient New Fixpoint Algorithm.. - Seidl, Fecht (1998) (Correct)
0.6: Sharing and Groundness Dependencies in Logic Programs - Codish.. (1999) (Correct)
0.3: Precise Interprocedural Analysis through Linear Algebra - Müller-Olm, Seidl (2003) (Correct)
Similar documents based on text: More All
0.2: An Even Faster Solver for General Systems of Equations - Fecht (1996) (Correct)
0.2: Persistence for Large Enterprise Systems in the Java World - Schiefer, Fecht (Correct)
0.2: Science, 88:325--349, 1991. [SWBA90] H. Seidl, R. Wilhelm, and.. - Proc Int (Correct)
Related documents from co-citation: More All
2: Parallel Constant Propagation (context) - Knoop - 1998
BibTeX entry: (Update)
H. Seidl and C. Fecht. Interprocedural Analyses: A Comparison. Journal of Logic Programming (JLP), 43(2):123-156, 2000. http://citeseer.ist.psu.edu/seidl99interprocedural.html More
@article{ seidl00interprocedural,
author = "Helmut Seidl and Christian Fecht",
title = "Interprocedural Analyses: A Comparison",
journal = "Journal of Logic Programming",
volume = "43",
number = "2",
pages = "123-156",
year = "2000",
url = "citeseer.ist.psu.edu/seidl99interprocedural.html" }
Citations (may not include all citations):225 Flow Analysis of Computer Programs (context) - Hecht - 1977
218 Abstract Interpretation and Application to Logic Programs (context) - Cousot, Cousot - 1992
144 Two Approaches to Interprocedural Data Flow Analysis (context) - Sharir, Pnueli - 1981
129 Precise Interprocedural Dataflow Analysis via Graph Reachabi.. - Horwitz, Reps et al. - 1995
112 OLD Resolution with Tabulation (context) - Sato, Tamaki - 1986
92 A Flexible Approach to Interprocedural Data Flow Analysis an.. (context) - Jones, Muchnick - 1982
88 Static Analysis of Logic Programs for Independent AND Parall.. (context) - Jacobs, Langen - 1992
70 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
68 On Determining Lifetime and Aliasing of Dynamically Allocate.. (context) - Deutsch - 1990
65 Semantic Foundations of Program Analysis (context) - Cousot - 1981
59 The Interprocedural Coincidence Theorem - Knoop, Steffen - 1992
54 Experimental Evaluation of a Generic Abstract Interpretation.. (context) - Le Charlier, Van Hentenryck - 1994
44 Data Flow Analysis of Applicative Programs Using Minimal Fun.. (context) - Jones, Mycroft - 1986
43 Denotational Abstract Interpretation of Logic Programs (context) - Marriott, Sndergaard et al. - 1994
38 Generation of Efficient Interprocedural Analyzers with PAG - Alt, Martin - 1995
36 Precise and Efficient Groundness Analysis for Logic Programs - Marriott, Sndergaard - 1993
30 Optimal Groundness Analysis Using Propositional Logic (context) - Cortesi, Fil'e et al. - 1996
28 Personal Communication (context) - Reps - 1997
27 and Application to Comportment analysis Generalizing Strictn.. (context) - Cousot, Cousot et al. - 1994
20 Towards a Tool Kit for the Automatic Generation of Interproc.. - Knoop, Ruthing et al. - 1996
19 An Even Faster Solver for General Systems of Equations - Fecht, Seidl - 1996
18 An Abstract Interpretation Framework Which Accurately Handle.. (context) - Le Charlier, Rossi et al. - 1994
17 Abstrakte Interpretation logischer Programme: Theorie (context) - Fecht - 1997
14 Generic Abstract Interpretation Algorithms for Prolog: Two O.. - Englebert, Le Charlier et al. - 1993
14 A Universal Top-Down Fixpoint Algorithm - Le Charlier, Van Hentenryck - 1992
13 Complete Evaluation of Horn Clauses: an Automata Theoretic A.. (context) - Lang - 1988
13 Systematic Semantic Approximations of Logic Programs (context) - Nilsson - 1990
13 Propagating Differences: An Efficient New Fixpoint Algorithm.. - Fecht, Seidl - 1998
12 Improving Abstract Interpretations by Systematic Lifting to .. (context) - Fil'e, Ranzato - 1994
12 Abstract Interpretation Based on OLDT Resolution (context) - Kanamori, Kawamura - 1993
11 Reversing Abstract Interpretations (context) - Hughes, Launchbury - 1994
11 Interprocedural Abstract Interpretation of BlockStructured L.. (context) - Bourdoncle - 1990
10 Static Determination of Dynamic Properties of Recursive Prog.. (context) - Cousot, Cousot - 1977
9 Precise Interprocedural Dataflow Analysis with Applications .. (context) - Horwitz, Reps et al. - 1995
9 Precise Interprocedural Dataflow Analysis with Applications .. (context) - Horwitz, Reps et al. - 1996
9 Abstract Interpretation of Small-Step Semantics (context) - Schmidt - 1996
8 The Impact of Granularity in Abstract Interpretation of Prol.. (context) - Van Hentenryck, Degimbe et al. - 1993
5 Incremental Global Compilation of Prolog with the Vienna Abs.. - Krall, Berger - 1995
4 Information Flow in Tabular Interpretations for Generalized .. - de la, Francois - 1998
4 Inter-procedural Control Flow Analysis of First Order Progra.. - Debray, Proebsting - 1997
4 Abstract Interpretation of Prolog Based on OLDT Resolution (context) - Van Hentenryck, Degimbe et al. - 1993
3 Interprocedural Analysis Based on PDAs - Seidl, Fecht - 1997
3 Abstract Interpretation by Dynamic Partioning (context) - Bourdoncle - 1992
2 Evaluation of the Domain PROP (context) - Le Charlier, Cortesi et al. - 1995
1 Disjunctive Completion Is Not (context) - Seidl, Fecht - 1997
1 and Reinhard Wilhelm (context) - Martin, Alt - 1998
1 a Piles et Programmation Dynamique : DyALog, Application `a .. (context) - de la, Automates - 1993
Documents on the same site (http://www.informatik.uni-trier.de/~seidl/journals.html): More
Fast and Simple Nested Fixpoints - Seidl (1996) (Correct)
Constraints to Stop Deforestation - Seidl, Sĝrensen (1998) (Correct)
On Distributive Fixed-Point Expressions - Seidl, Niwinski (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