Jeremy Singer  Home/Search
Context
Related
| homepages.inf.ed.ac.uk/st...ssifunc.pdf 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.man.ac.uk/~jsin...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Static single information form is a natural extension of the well-known static single assignment form. It is a program intermediate representation used in optimising compilers for imperative programming languages. In this paper we show how a program expressed in static single information form can be transformed into an equivalent program in functional notation. We also examine the implications of this transformation. (Update)
Active bibliography (related documents): More All
0.6: A Functional Perspective on SSA Optimisation.. - Chakravarty.. (2003) (Correct)
0.5: Buffer Overrun Detection Using Linear Programming.. - Ganapathy, Jha.. (2003) (Correct)
0.4: Sparse Bidirectional Data Flow Analysis as a Basis for Type.. - Singer (2004) (Correct)
Similar documents based on text: More All
0.7: Static Single Information from a Functional Perspective - Singer (2003) (Correct)
0.3: The Static Single Information Form - Ananian (1999) (Correct)
0.3: Interpreting Programs in Static Single Assignment Form - Jeffery Von Ronne (2003) (Correct)
BibTeX entry: (Update)
@misc{ singer-static,
author = "Jeremy Singer",
title = "Static Single Information from a Functional Perspective",
url = "citeseer.ist.psu.edu/733167.html" }
Citations (may not include all citations):866 Techniques and Tools (context) - Aho, Sethi et al. - 1986
566 Proof-carrying code - Necula - 1997
521 Compiling with Continuations (context) - Appel - 1992
415 Efficiently computing static single assignment form and the .. - Cytron, Ferrante et al. - 1991
232 Constant propagation with conditional branches (context) - Wegman, Zadeck - 1991
155 The essence of compiling with continuations - Flanagan, Sabry et al. - 1993
84 Lambda lifting: transforming programs to recursive equations - Johnsson - 1985
79 ACM Transactions on Programming Languages and Systems (context) - Morrisett, Walker et al. - 1999
58 Foundational proof-carrying code - Appel - 2001
57 Modern Compiler Implementation in Java (context) - Appel - 1998
44 Bitwidth analysis with application to silicon compilation - Stephenson, Babb et al. - 2000
42 Extending SUIF for machine-dependent optimizations - Smith - 1996
20 SSA is functional programming - Appel - 1998
16 A correspondence between continuation passing style and stat.. - Kelsey - 1995
11 Massachusetts Institute of Technology (context) - Ananian, single et al. - 1999
11 Interprocedural compatibility analysis for static object pre.. - Gheorghioiu, Salcianu et al. - 2003
11 Functional Java bytecode - League, Trifonov et al. - 2001
10 Type-based decompilation - Mycroft - 1999
5 Simple generation of static single assignment form - Aycock, Horspool - 2000
4 Data size optimizations for Java programs - Ananian, Rinard - 2003
3 Electronic Notes in Theoretical Computer Science (context) - Nethercote, Mycroft et al. - 2003
3 Grail: a functional form for imperative mobile code - Beringer, MacKenzie et al. - 2003
2 A functional perspective on SSA optimisation algorithms - Chatravarty, Keller et al. - 2003
2 array indices and accessed memory regions (context) - Rugina, Rinard et al. - 2000
1 A framework for virtual register renaming schemes (context) - Singer - 2003
1 Efficiently computing the static single information form (context) - Singer - 2002
1 SSI extends SSA (context) - Singer - 2003
1 Static single information improves type-based decompilation (context) - Singer - 2003
Documents on the same site (http://www.cs.man.ac.uk/~jsinger/publications.html): More
GCC .NET - a feasibility study - Singer (2003) (Correct)
Concept Assignment as a Debugging Technique for Code Generators - Singer (2005) (Correct)
Static Single Information from a Functional Perspective - Singer (2003) (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