On the public citation graph

Java Type Soundness Revisited

https://doi.org/10.25561/5961
0 signed · 28 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 points at this work

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

inferred← citeshttps://doi.org/10.1007/11423331_7openalex-snapshot
An Exception Monitoring System for Java
inferred← citeshttps://doi.org/10.1007/11531142_12openalex-snapshot
First-Class Relationships in an Object-Oriented Language
inferred← citeshttps://doi.org/10.1007/11813040_27openalex-snapshot
Towards Automatic Exception Safety Verification
inferred← citeshttps://doi.org/10.1007/11860990_17openalex-snapshot
A New Component-Oriented Programming Language with the First-Class Connector
inferred← citeshttps://doi.org/10.1007/3-540-45102-1_17openalex-snapshot
Runtime Support for Type-Safe Dynamic Java Classes
inferred← citeshttps://doi.org/10.1007/3-540-45102-1_8openalex-snapshot
Jam - A Smooth Extension of Java with Mixins
inferred← citeshttps://doi.org/10.1007/3-540-47993-7_26openalex-snapshot
A Formal Framework for Java Separate Compilation
inferred← citeshttps://doi.org/10.1007/978-3-540-45208-9_24openalex-snapshot
Towards a Smart Compilation Manager for Java
inferred← citeshttps://doi.org/10.1016/j.jlap.2011.11.002openalex-snapshot
Safe locking for multi-threaded Java with exceptions
inferred← citeshttps://doi.org/10.1016/s0164-1212(03)00057-8openalex-snapshot
An uncaught exception analysis for Java
inferred← citeshttps://doi.org/10.1109/ase.2008.35openalex-snapshot
Inferring Finite-State Models with Temporal Constraints
inferred← citeshttps://doi.org/10.1109/ase.2008.36openalex-snapshot
Type-Checking Software Product Lines - A Formal Approach
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/secpri.2003.1199334openalex-snapshot
Using memory errors to attack a virtual machine
inferred← citeshttps://doi.org/10.1109/tc.2003.1204826openalex-snapshot
A mobile agent-based advanced service architecture for wireless internet telephony: design, implementation, and evaluation
inferred← citeshttps://doi.org/10.1145/1176617.1176650openalex-snapshot
Core-java
inferred← citeshttps://doi.org/10.1145/1190216.1190245openalex-snapshot
Towards a mechanized metatheory of standard ML
inferred← citeshttps://doi.org/10.1145/2451436.2451458openalex-snapshot
On exceptions, events and observer chains
inferred← citeshttps://doi.org/10.1145/372202.372786openalex-snapshot
Interprocedural exception analysis for Java
inferred← citeshttps://doi.org/10.1145/504282.504284openalex-snapshot
A core calculus for Java exceptions
inferred← citeshttps://doi.org/10.1145/571157.571177openalex-snapshot
True separate compilation of Java classes
inferred← citeshttps://doi.org/10.26636/jtit.2002.4.143openalex-snapshot
A formal dynamic semantics of Java: an essential ingredient of Java security
inferred← citeshttps://doi.org/10.48456/tr-563openalex-snapshot
MJ: An imperative core calculus for Java and Java with effects
inferred← citeshttps://doi.org/10.48456/tr-654openalex-snapshot
Local reasoning for Java
inferred← citeshttps://doi.org/10.5381/jot.2007.6.8.a3openalex-snapshot
A Formal Type System for Java.
inferred← citeshttps://doi.org/10.5381/jot.2017.16.3openalex-snapshot
inferred← citeshttps://doi.org/10.5381/jot.2017.16.3.a1openalex-snapshot
Static Checking for Multiple Start of Threads in a Type-Safe Multithreaded Java.
inferred← citeshttps://doi.org/10.7939/r34m91c40openalex-snapshot
Fex: A Model Checking Framework for Event Sequences
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.