Christopher Colby, Peter Lee  Home/Search
Context Related
| luc.edu/~colby/research/p...popl96.ps.Z cmu.edu/papers/trace.ps cmu.edu/project/fox/mosaic/p...trace.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: luc.edu/~colby/research/ (more) From: cmu.edu/project/fox/mosa...papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present trace-based program analysis, a semantics-based framework for statically analyzing and transforming programs with loops, assignments, and nested record structures. Trace-based analyses are based on transfer transition systems, which define the small-step operational semantics of programming languages. Intuitively, transfer transition systems provide direct support for reasoning about the possible execution traces of a program, instead of just individual program states. The traces in... (Update)
Context of citations to this paper: More
.... to the specialization time we have to approximate the program point sets after; for trace based abstract interpretations see [Col95, CL96] The simplest synchronization removal algorithm is a naive greedy algorithm that removes one redundant synchronization at a time and...
...relations as a common back end for many different analyses. The language TR and composition algorithm Phi are a generalization of [1]. The only other work of which we are aware that uses a similar technical idea is the work in [7] on graph transductions [2] A graph...
Cited by: More
Watchpoint Semantics: A Tool for Compositional and Focussed Static .. - Spoto (2001) (Correct)
Symbolic Transfer Function-based Approaches to Certified Compilation - Rival (2004) (Correct)
Parametric Regular Path Queries - Tom (Correct)
Similar documents (at the sentence level):
77.8%: Trace-based Program Analysis - Christopher Colby Peter (1996) (Correct)
Active bibliography (related documents): More All
0.4: Analysis of Synchronization and Aliasing with Abstract.. - Colby (Correct)
0.3: Determining Storage Properties of Sequential and Concurrent.. - Colby (1995) (Correct)
0.3: Automatic Determination of Communication Topologies in Mobile.. - Venet (1998) (Correct)
Similar documents based on text: More All
0.1: Exploiting Instruction Reuse to Enhance Microprocessor.. - Bhargava, John, Matus (Correct)
0.1: HACC: An Architecture for Cluster-Based Web Servers - Zhang, Barrientos, Chen.. (1999) (Correct)
0.1: Better Global Scheduling Using Path Profiles - Cliff Young (1998) (Correct)
Related documents from co-citation: More All
2: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
2: Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
2: Communicating Sequential Processes (context) - Hoare - 1985
BibTeX entry: (Update)
C. Colby and P. Lee. Trace-based program analysis. In The 23th Annual ACM Symposium on Principles of Programming Languages, pages 195--207, 1996. http://citeseer.ist.psu.edu/article/colby96tracebased.html More
@inproceedings{ colby96tracebased,
author = "Christopher Colby and Peter Lee",
title = "Trace-Based Program Analysis",
booktitle = "Symposium on Principles of Programming Languages",
pages = "195-207",
year = "1996",
url = "citeseer.ist.psu.edu/article/colby96tracebased.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
906 A structural approach to operational semantics - Plotkin - 1981
815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
353 Software pipelining: An effective scheduling technique for V.. (context) - Lam - 1988
346 Denotational Semantics : The ScottStrachey Approach to Progr.. (context) - Stoy - 1977
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
207 Flow analysis and optimization of LISP-like structures (context) - Jones, Muchnick - 1979
176 Control-flow Analysis of Higher-Order Languages (context) - Shivers - 1991
94 Projections for strictness analysis - Wadler, Hughes - 1987
75 semantics and abstract interpretation (context) - Cousot, Cousot - 1992
71 Abstract Interpretation and Optimising Transformations for A.. (context) - Mycroft - 1981
63 A storeless model of aliasing and its abstractions using fin.. (context) - Deutsch - 1992
55 A unified treatment of flow analysis in higher-order languag.. - Jagannathan, Weeks - 1995
51 Perfect pipelining: A new loop parallelization technique - Aiken, Nicolau - 1988
51 grammar and set-constraint-based program analysis by abstrac.. (context) - Cousot, Cousot - 1995
35 Affine relationships among variables of a program (context) - Karr - 1976
33 The interprocedural analysis and automatic parallelisation o.. (context) - Harrison - 1989
32 ACM Transactions on Programming Languages and Systems (context) - Hudak, Young et al. - 1991
27 and application to comportment analysis generalizing strictn.. (context) - Cousot, Cousot et al. - 1994
25 Static analysis on linear congruence equalities among variab.. (context) - Granger - 1991
25 Binding time analysis for polymorphically typed higher order.. (context) - Mogensen - 1989
23 and the lambda-calculus (context) - Felleisen, Friedman et al. - 1986
23 Analyzing the communication topology of concurrent programs - Colby - 1995
15 Operational Models of Programming Languages and Representati.. (context) - Deutsch - 1992
7 Strictness analysis and denotational abstract interpretation (context) - Nielson - 1988
5 Analysis of synchronization and aliasing with abstract inter.. - Colby
4 Determining storage properties of sequential and concurrent .. - Colby - 1995
3 Semantic design of program analysis frameworks (context) - Cousot, Cousot - 1979
Documents on the same site (http://www.math.luc.edu/~colby/research/): More
Analysis of Synchronization and Aliasing with Abstract.. - Colby (Correct)
Determining Storage Properties of Sequential and Concurrent.. - Colby (1995) (Correct)
Analyzing the Communication Topology of Concurrent Programs - Christopher Colby (1995) (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