On the public citation graph
The complexity of type analysis of object oriented programs
0 signed · 42 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-49538-x_5openalex-snapshot
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
inferredcites →https://doi.org/10.1007/3-540-61053-7_54openalex-snapshot
Generalized Constant Propagation a study in C
inferredcites →https://doi.org/10.1007/bfb0057013openalex-snapshot
Optimizing dynamically-typed object-oriented languages with polymorphic inline caches
inferredcites →https://doi.org/10.1016/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1016/b978-0-444-88071-0.50007-2openalex-snapshot
A Catalog of Complexity Classes
inferredcites →https://doi.org/10.1109/tools.1997.654711openalex-snapshot
SOLAT-a Simple Object-Oriented Language Analyzing Tool
inferredcites →https://doi.org/10.1145/103135.103136openalex-snapshot
Constant propagation with conditional branches
inferredcites →https://doi.org/10.1145/161494.161501openalex-snapshot
Undecidability of static analysis
inferredcites →https://doi.org/10.1145/207110.207113openalex-snapshot
Flow-sensitive interprocedural constant propagation
inferredcites →https://doi.org/10.1145/223428.207113openalex-snapshot
Flow-sensitive interprocedural constant propagation
inferredcites →https://doi.org/10.1145/236337.236367openalex-snapshot
Simple and effective analysis of statically-typed object-oriented programs
inferredcites →https://doi.org/10.1145/236337.236371openalex-snapshot
Fast static analysis of C++ virtual function calls
inferredcites →https://doi.org/10.1145/236338.236367openalex-snapshot
Simple and effective analysis of statically-typed object-oriented programs
inferredcites →https://doi.org/10.1145/236338.236371openalex-snapshot
Fast static analysis of C++ virtual function calls
inferredcites →https://doi.org/10.1145/239912.239913openalex-snapshot
Precise flow-insensitive may-alias analysis is NP-hard
inferredcites →https://doi.org/10.1145/263698.264352openalex-snapshot
Call graph construction in object-oriented languages
inferredcites →https://doi.org/10.1145/263700.263728openalex-snapshot
Efficient dynamic dispatch without virtual function tables
inferredcites →https://doi.org/10.1145/263700.263734openalex-snapshot
The design and performance of a real-time CORBA event service
inferredcites →https://doi.org/10.1145/321623.321625openalex-snapshot
Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
inferredcites →https://doi.org/10.1145/359588.359596openalex-snapshot
A practical interprocedural data flow analysis algorithm
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-45337-7_3openalex-snapshot
Sealing, Encapsulation, and Mutablility
inferred← citeshttps://doi.org/10.1007/978-3-642-03013-0_23openalex-snapshot
Are We Ready for a Safer Construction Environment?
inferred← citeshttps://doi.org/10.1007/978-3-642-31057-7_10openalex-snapshot
Object Initialization in X10
inferred← citeshttps://doi.org/10.1109/32.926173openalex-snapshot
Complexity of points-to analysis of Java in the presence of exceptions
inferred← citeshttps://doi.org/10.1109/tools.2000.891361openalex-snapshot
Self-calibration of metrics of Java methods
inferred← citeshttps://doi.org/10.1145/1040305.1040332openalex-snapshot
Precise interprocedural analysis using random interpretation
inferred← citeshttps://doi.org/10.1145/1108768.1108799openalex-snapshot
Link-time static analysis for efficient separate compilation of object-oriented languages
inferred← citeshttps://doi.org/10.1145/1290520.1290525openalex-snapshot
Efficient dynamic dispatching with type slicing
inferred← citeshttps://doi.org/10.1145/1391956.1391960openalex-snapshot
Perfect hashing as an almost perfect subtype test
inferred← citeshttps://doi.org/10.1145/1922649.1922655openalex-snapshot
Implementing statically typed object-oriented programming languages
inferred← citeshttps://doi.org/10.1145/320384.320408openalex-snapshot
Space and time-efficient memory layout for multiple inheritance
inferred← citeshttps://doi.org/10.1145/338407.338570openalex-snapshot
SSA-based flow-sensitive type analysis
inferred← citeshttps://doi.org/10.1145/582419.582434openalex-snapshot
Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching
inferred← citeshttps://doi.org/10.3166/objet.10.2-3.61-74openalex-snapshot
Intégration d'optimisations globales en compilation séparée des langages à objets
inferred← citeshttps://doi.org/10.5381/jot.2016.15.1.a2openalex-snapshot
When do Software Complexity Metrics Mean Nothing? – When Examined out of Context.
inferred← citeshttps://doi.org/10.70675/c92bba25za727z44afza7d6z2484dc21a2bcopenalex-snapshot
Contribution à l'efficacité de la programmation par objets : evaluation des implémentations de l'héritage multiple en typage statique
inferred← citeshttps://doi.org/10.7282/t35142w0openalex-snapshot
Modular Data-flow Analysis of Statically Typed Object-oriented Programming Languages
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.