On the public citation graph

Extended SSA mumbering: Introducing SSA properties to languages with multi-level pointers

https://doi.org/10.1007/bfb0026427
0 signed · 34 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-57502-2_61openalex-snapshot
Designing the McCAT compiler based on a family of structured intermediate representations
inferredcites →https://doi.org/10.1007/3-540-57877-3_21openalex-snapshot
Supporting array dependence testing for an optimizing/parallelizing C compiler
inferredcites →https://doi.org/10.1007/3-540-61053-7_66openalex-snapshot
Effective representation of aliases and indirect memory operations in SSA form
inferredcites →https://doi.org/10.1007/bf03356759openalex-snapshot
Connection Analysis: A Practical Interprocedural Heap Analysis for C
inferredcites →https://doi.org/10.1109/iccl.1994.288377openalex-snapshot
Taming control flow: a structured approach to eliminating goto statements
inferredcites →https://doi.org/10.1145/115372.115320openalex-snapshot
Efficiently computing static single assignment form and the control dependence graph
inferredcites →https://doi.org/10.1145/143095.143131openalex-snapshot
Beyond induction variables
inferredcites →https://doi.org/10.1145/155090.155094openalex-snapshot
Efficient accommodation of may-alias information in SSA form
inferredcites →https://doi.org/10.1145/178243.178264openalex-snapshot
Context-sensitive interprocedural points-to analysis in the presence of function pointers
inferredcites →https://doi.org/10.1145/197320.197331openalex-snapshot
Single-pass generation of static single-assignment form for structured languages
inferredcites →https://doi.org/10.1145/199448.199464openalex-snapshot
A linear time algorithm for placing φ-nodes
inferredcites →https://doi.org/10.1145/268946.268957openalex-snapshot
Putting pointer analysis to work
inferredcites →https://doi.org/10.1145/73560.73561openalex-snapshot
Detecting equality of variables in programs
inferredcites →https://doi.org/10.1145/73560.73562openalex-snapshot
Global value numbers and redundant computations
inferredcites →https://doi.org/10.1145/75277.75280openalex-snapshot
An efficient method of computing static single assignment form
inferredcites →https://doi.org/10.82308/27114openalex-snapshot
A goto-elimination method and its implementation for the McCAT C compiler /

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/stvr.v19:1openalex-snapshot
inferred← citeshttps://doi.org/10.1007/3-540-48319-5_22openalex-snapshot
The Advantages of Instance-Wise Reaching Definition Analyses in Array (S)SA
inferred← citeshttps://doi.org/10.1007/978-3-642-00955-6_32openalex-snapshot
Complete Def-Use Analysis in Recursive Programs with Dynamic Data Structures
inferred← citeshttps://doi.org/10.1007/978-3-642-54807-9_1openalex-snapshot
Using the SSA-Form in a Code Generator
inferred← citeshttps://doi.org/10.1016/j.infsof.2006.10.016openalex-snapshot
Goal-oriented test data generation for pointer programs
inferred← citeshttps://doi.org/10.1023/b:sqjo.0000039791.93071.a2openalex-snapshot
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis
inferred← citeshttps://doi.org/10.1109/71.752778openalex-snapshot
Locality analysis for parallel C programs
inferred← citeshttps://doi.org/10.1109/compsac.2005.81openalex-snapshot
Goal-Oriented Test Data Generation for Programs with Pointer Variables
inferred← citeshttps://doi.org/10.1145/1101908.1101958openalex-snapshot
Constraint-based test data generation in the presence of stack-directed pointers
inferred← citeshttps://doi.org/10.1145/1480881.1480911openalex-snapshot
Semi-sparse flow-sensitive pointer analysis
inferred← citeshttps://doi.org/10.1145/1854273.1854322openalex-snapshot
The Paralax infrastructure
inferred← citeshttps://doi.org/10.1145/268946.268957openalex-snapshot
Putting pointer analysis to work
inferred← citeshttps://doi.org/10.1145/277650.277668openalex-snapshot
Using static single assignment form to improve flow-insensitive pointer analysis
inferred← citeshttps://doi.org/10.1145/286936.286943openalex-snapshot
An evaluation of automatic object inline allocation techniques
inferred← citeshttps://doi.org/10.1184/r1/6608207openalex-snapshot
Optimizing Memory Accesses For Spatial Computation
inferred← citeshttps://doi.org/10.14236/ewic/vocs2008.32openalex-snapshot
Object representatives: a uniform abstraction for pointer information
inferred← citeshttps://doi.org/10.3745/kipstd.2010.17d.4.297openalex-snapshot
Automated Test Data Generation for Testing Programs with Multi-level Stack-directed Pointers
inferred← citeshttps://doi.org/10.5555/522659.825660openalex-snapshot
Locality analysis for parallel C programs
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.