On the public citation graph
Towards a cost-effective estimation of uncaught exceptions in SML programs
0 signed · 39 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.1006/inco.1995.1058openalex-snapshot
Safety Analysis versus Type Inference
inferredcites →https://doi.org/10.1007/3-540-58485-4_44openalex-snapshot
Compile-time detection of uncaught exceptions in Standard ML programs
inferredcites →https://doi.org/10.1007/3-540-60045-0_58openalex-snapshot
Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form
inferredcites →https://doi.org/10.1007/3-540-61739-6_29openalex-snapshot
Constraint-based program analysis
inferredcites →https://doi.org/10.1007/bfb0032737openalex-snapshot
Program analysis using mixed term and set constraints
inferredcites →https://doi.org/10.1016/0022-0000(78)90014-4openalex-snapshot
A theory of type polymorphism in programming
inferredcites →https://doi.org/10.1145/182409.182495openalex-snapshot
Set-based analysis of ML programs
inferredcites →https://doi.org/10.1145/258915.258939openalex-snapshot
Linear-time subtransitive control flow analysis
inferredcites →https://doi.org/10.7146/dpb.v21i389.6624openalex-snapshot
Safety Analysis versus Type Inference
inferredcites →https://doi.org/10.7551/mitpress/2319.001.0001openalex-snapshot
The Definition of Standard ML
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-44555-2_4openalex-snapshot
Formal Techniques for Java Programs
inferred← citeshttps://doi.org/10.1007/3-540-45788-7_18openalex-snapshot
VMλ: A Functional Calculus for Scientific Discovery
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/3-540-46589-8_6openalex-snapshot
Towards a Modular Denotational Semantics of Java
inferred← citeshttps://doi.org/10.1007/3-540-47813-2_10openalex-snapshot
Static Monotonicity Analysis for λ-definable Functions over Lattices
inferred← citeshttps://doi.org/10.1007/3-540-48166-4_20openalex-snapshot
Analyzing Exception Flow in Java™ Programs
inferred← citeshttps://doi.org/10.1007/3-540-49201-1_16openalex-snapshot
Dead Code Elimination through Dependent Types
inferred← citeshttps://doi.org/10.1007/978-3-540-89330-1_20openalex-snapshot
Exception Handlers as Extensible Cases
inferred← citeshttps://doi.org/10.1016/j.scico.2013.10.007openalex-snapshot
Modular type checking of anchored exception declarations
inferred← citeshttps://doi.org/10.1016/s0020-0190(01)00223-xopenalex-snapshot
A proof method for the correctness of modularized 0CFA
inferred← citeshttps://doi.org/10.1016/s0164-1212(03)00057-8openalex-snapshot
An uncaught exception analysis for Java
inferred← citeshttps://doi.org/10.1109/apaqs.2001.989998openalex-snapshot
Exception analysis for multithreaded Java programs
inferred← citeshttps://doi.org/10.1109/codas.2001.945164openalex-snapshot
Set-based access conflicts analysis of concurrent workflow definition
inferred← citeshttps://doi.org/10.1109/scam.2002.1134117openalex-snapshot
Visualization of exception propagation for Java using static analysis
inferred← citeshttps://doi.org/10.1109/weh.2012.6226604openalex-snapshot
Usability challenges in exception handling
inferred← citeshttps://doi.org/10.1142/s0218843005001249openalex-snapshot
SET-BASED ANALYSIS OF STRUCTURED WORKFLOW DEFINITION
inferred← citeshttps://doi.org/10.1145/1094811.1094847openalex-snapshot
Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations
inferred← citeshttps://doi.org/10.1145/1250734.1250784openalex-snapshot
Static error detection using semantic inconsistency inference
inferred← citeshttps://doi.org/10.1145/1572272.1572274openalex-snapshot
Exception analysis and points-to analysis
inferred← citeshttps://doi.org/10.1145/292540.292565openalex-snapshot
Type-based analysis of uncaught exceptions
inferred← citeshttps://doi.org/10.1145/318774.319251openalex-snapshot
Analyzing exception flow in Java programs
inferred← citeshttps://doi.org/10.1145/349214.349230openalex-snapshot
Type-based analysis of uncaught exceptions
inferred← citeshttps://doi.org/10.1145/372202.372786openalex-snapshot
Interprocedural exception analysis for Java
inferred← citeshttps://doi.org/10.1145/941566.941569openalex-snapshot
Static analysis to support the evolution of exception structure in object-oriented systems
inferred← citeshttps://doi.org/10.5555/2666990.2666993openalex-snapshot
Usability challenges in exception handling
inferred← citeshttps://doi.org/10.7146/brics.v5i15.19287openalex-snapshot
Assessing the Overhead of ML Exceptions by Selective CPS Transformation
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.