On the public citation graph

Complexity of concrete type-inference in the presence of exceptions

0 signed · 45 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-49538-x_2openalex-snapshot

The Cartesian Product Algorithm

inferredcites →https://doi.org/10.1007/3-540-61739-6_45openalex-snapshot

Data-flow-based virtual function resolution

inferredcites →https://doi.org/10.1007/bfb0053563openalex-snapshot

Complexity of concrete type-inference in the presence of exceptions

inferredcites →https://doi.org/10.1145/117954.117965openalex-snapshot

Object-oriented type inference

inferredcites →https://doi.org/10.1145/143095.143137openalex-snapshot

A safe approximate algorithm for interprocedural aliasing

inferredcites →https://doi.org/10.1145/143103.143137openalex-snapshot

A safe approximate algorithm for interprocedural aliasing

inferredcites →https://doi.org/10.1145/158511.158639openalex-snapshot

Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects

inferredcites →https://doi.org/10.1145/165364.165387openalex-snapshot

Pointer-induced aliasing

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/191080.191130openalex-snapshot

Precise concrete type inference for object-oriented languages

inferredcites →https://doi.org/10.1145/199448.199462openalex-snapshot

Precise interprocedural dataflow analysis via graph reachability

inferredcites →https://doi.org/10.1145/207110.207111openalex-snapshot

Efficient context-sensitive pointer analysis for C programs

inferredcites →https://doi.org/10.1145/207110.207112openalex-snapshot

Context-insensitive alias analysis reconsidered

inferredcites →https://doi.org/10.1145/223428.207111openalex-snapshot

Efficient context-sensitive pointer analysis for C programs

inferredcites →https://doi.org/10.1145/237721.237727openalex-snapshot

Points-to analysis in almost linear time

inferredcites →https://doi.org/10.1145/239098.239112openalex-snapshot

Program decomposition for pointer aliasing

inferredcites →https://doi.org/10.1145/263699.263703openalex-snapshot

Fast and accurate flow-insensitive points-to analysis

inferredcites →https://doi.org/10.1145/321921.321938openalex-snapshot

Global Data Flow Analysis and Iterative Algorithms

inferredcites →https://doi.org/10.1145/359588.359596openalex-snapshot

A practical interprocedural data flow analysis algorithm

inferredcites →https://doi.org/10.1145/989393.989440openalex-snapshot

A safe approximate algorithm for interprocedural pointer aliasing

inferredcites →https://doi.org/10.1145/99583.99599openalex-snapshot

Pointer-induced aliasing: a problem taxonomy

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-46562-6_34openalex-snapshot

Data Flow Analysis of Java Programs in the Presence of Exceptions

inferred← citeshttps://doi.org/10.1007/978-3-540-24707-4_14openalex-snapshot

Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow

inferred← citeshttps://doi.org/10.1007/978-3-540-25934-3_1openalex-snapshot

Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms

inferred← citeshttps://doi.org/10.1007/bfb0053558openalex-snapshot

Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings

inferred← citeshttps://doi.org/10.1016/s0164-1212(03)00057-8openalex-snapshot

An uncaught exception analysis for Java

inferred← citeshttps://doi.org/10.1109/32.877846openalex-snapshot

Analysis and testing of programs with exception handling constructs

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/ccece.2003.1226153openalex-snapshot

Control flow analysis in presence of exceptions for Java

inferred← citeshttps://doi.org/10.1109/iccitechn.2008.4803025openalex-snapshot

Structural operational semantics of packages in Java

inferred← citeshttps://doi.org/10.1109/icsm.1998.738526openalex-snapshot

Analysis of programs with exception-handling constructs

inferred← citeshttps://doi.org/10.1109/icsm.2008.4658061openalex-snapshot

Assessing the usefulness of type inference algorithms in representing Java control flow to support software maintenance tasks

inferred← citeshttps://doi.org/10.1109/scam.2002.1134117openalex-snapshot

Visualization of exception propagation for Java using static analysis

inferred← citeshttps://doi.org/10.1145/1111596.1111598openalex-snapshot

EDO

inferred← citeshttps://doi.org/10.1145/292540.292554openalex-snapshot

Relevant context inference

inferred← citeshttps://doi.org/10.1145/302405.302675openalex-snapshot

System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow

inferred← citeshttps://doi.org/10.1145/316158.316171openalex-snapshot

Efficient and precise modeling of exceptions for the analysis of Java programs

inferred← citeshttps://doi.org/10.1145/325694.325704openalex-snapshot

On the complexity of flow-sensitive dataflow analyses

inferred← citeshttps://doi.org/10.1145/504282.504289openalex-snapshot

A study of exception handling and its dynamic optimization in Java

inferred← citeshttps://doi.org/10.32920/ryerson.14663895openalex-snapshot

Whole program analysis of Java programs for virtual calls and exception handling

inferred← citeshttps://doi.org/10.32920/ryerson.14663895.v1openalex-snapshot

Whole program analysis of Java programs for virtual calls and exception handling

inferred← citeshttps://doi.org/10.4028/www.scientific.net/amm.63-64.789openalex-snapshot

A Method of Software Static Testing in the Presence of Runtime Exception

inferred← citeshttps://doi.org/10.7282/t35142w0openalex-snapshot

Modular Data-flow Analysis of Statically Typed Object-oriented Programming Languages

inferred← citeshttps://doi.org/10.9790/3021-0204609615openalex-snapshot

Minimization of Time & Cost Factors with Optimized Program-States Using Exception-Handling Constructs in Java (During Analysis and Testing of Programs)

showing the first 23 of 24 · page through all 24

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.