Fausto Spoto Dipartimento di Informatica, Universita di Verona, Italy...  Home/Search
Context
Related
| sci.univr.it/~spoto/vmcai04.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: profs.sci.univr.it/~spot...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Flow sensitive static analyses are often more precise than their flow insensitive counterparts, but much more expensive. To cope with this problem, we defined, some years ago, a watchpoint semantics as an abstract interpretation of a trace semantics. It is not itself a trace semantics, but it lets us specify flow and control sensitive analyses which are focused on a given set of program points only, called watchpoints. (Update)
Active bibliography (related documents): More All
2.5: JULIA: A Generic Static Analyser for the Java Bytecode - Spoto (Correct)
0.5: Modular Class Analysis with DATALOG - Besson, Jensen, Spoto (2003) (Correct)
0.3: Finding Your Cronies: Static Analysis for Dynamic Object.. - Guyer, McKinley (2004) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.7: Logic Programs as Compact Denotations - Hill, Spoto (2003) (Correct)
0.7: Class Analysis in an Open World - Fausto Spoto Dipartimento (Correct)
0.5: Approximate Protein Folding in Oz through Frequency Analysis - Bozzoli, Spoto, Dovier (Correct)
BibTeX entry: (Update)
@misc{ dipartimento-focused,
author = "Fausto Spoto Dipartimento",
title = "Focused Static Analyses for the Java Bytecode",
url = "citeseer.ist.psu.edu/710452.html" }
Citations (may not include all citations):815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1999
190 Optimization of Object-Oriented Programs using Static Class .. - Dean, Grove et al. - 1995
151 Object-Oriented Type Inference - Palsberg, Schwartzbach - 1991
129 Precise Interprocedural Dataflow Analysis via Graph Reachabi.. - Reps, Horwitz et al. - 1995
71 Fast Static Analysis of C++ Virtual Function Calls (context) - Bacon, Sweeney - 1996
62 Scalable Propagation-Based Call Graph Construction Algorithm.. - Tip, Palsberg - 2000
27 Analysis and Testing of Programs with Exception Handling Con.. - Sinha, Harrold - 2000
25 Fixpoint Semantics for Partial Computed Answer Substitutions.. (context) - Gabbrielli, Meo - 1992
23 A Practical Framework for Demanddriven Interprocedural Data .. - Duesterwald, Gupta et al. - 1997
18 Optimizing Java Bytecode Using the Soot Framework: Is It Fea.. (context) - Vallee-Rai, Gagnon et al. - 2000
12 Principles Techniques and Tools (context) - Aho, Sethi et al. - 1986
12 Bytecode Compression via Profiled Grammar Rewriting - Evans, Fraser - 2001
11 Demand-Driven Pointer Analysis - Heintze, Tardieu - 2001
10 Watchpoint Semantics: A Tool for Compositional and Focussed .. - Spoto - 2001
9 Trace-based Abstract Interpretation of Operational Semantics (context) - Schmidt - 1998
8 Modular Static Program Analysis - Cousot, Cousot - 2002
4 Theoretical Computer Science (context) - Jacobs, Poll et al. - 2003
3 Escape Analysis for Java : Theory and Practice - Blanchet - 2003
3 Class Analyses as Abstract Interpretations of Trace Semantic.. (context) - Spoto, Jensen - 2003
2 The Julia Generic Static Analyser (context) - Spoto - 2004
2 A Refinement of the Escape Property - Hill, Spoto - 2002
2 Bcel - The Bytecode Engineering Library (context) - Foundation - 2002
www.sci.univr.it/#spoto/papers.html
Documents on the same site (http://profs.sci.univr.it/~spoto/papers.html): More
A Foundation of Escape Analysis - Hill, Spoto (2002) (Correct)
Static Analysis for JML's assignable Clauses - Spoto, Poll (2003) (Correct)
A Foundation of Escape Analysis - Hill, Spoto (2002) (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