On the public citation graph
Java is type safe — Probably
0 signed · 104 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.1002/spe.4380250803openalex-snapshot
Signatures: A language extension for improving type abstraction and subtype polymorphism in C++
inferredcites →https://doi.org/10.1006/inco.1995.1033openalex-snapshot
A Calculus for Overloaded Functions with Subtyping
inferredcites →https://doi.org/10.1007/978-1-4471-1494-9_3openalex-snapshot
Analysis and Specification
inferredcites →https://doi.org/10.1007/bfb0053054openalex-snapshot
Type-safe compilation of covariant specialization: A practical case
inferredcites →https://doi.org/10.1016/0020-0190(94)90120-1openalex-snapshot
A simplified account of polymorphic references
inferredcites →https://doi.org/10.1016/0890-5401(90)90018-dopenalex-snapshot
Type inference for polymorphic references
inferredcites →https://doi.org/10.1093/comjnl/32.4.305openalex-snapshot
A Proposal for Making Eiffel Type-safe
inferredcites →https://doi.org/10.1109/secpri.1996.502681openalex-snapshot
Java security: from HotJava to Netscape and beyond
inferredcites →https://doi.org/10.1145/512760.512762openalex-snapshot
The Smalltalk-76 programming system design and implementation
inferredcites →https://doi.org/10.1145/582153.582176openalex-snapshot
Principal type-schemes for functional programs
inferredcites →https://doi.org/10.1145/74877.74924openalex-snapshot
Interfaces for strongly-typed object-oriented programming
inferredcites →https://doi.org/10.21236/ada269182openalex-snapshot
A Simplified Account of Polymorphic References. Revised
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1096-9942(199901/03)5:1<3::aid-tapo2>3.0.co;2-topenalex-snapshot
Is the Java type system sound?
inferred← citeshttps://doi.org/10.1002/cpe.599openalex-snapshot
Java access protection through typing
inferred← citeshttps://doi.org/10.1002/spe.372openalex-snapshot
JAC—Access right based encapsulation for Java
inferred← citeshttps://doi.org/10.1002/spe.906openalex-snapshot
Security benchmarks of OSGi platforms: toward Hardened OSGi
inferred← citeshttps://doi.org/10.1002/spe.v39:5openalex-snapshot
Security Benchmarks of OSGi Platforms: Towards Hardened OSG
inferred← citeshttps://doi.org/10.1007/10930755_3openalex-snapshot
A Programming Logic for Java Bytecode Programs
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-44659-1_30openalex-snapshot
Towards a Machine-Checked Java Specification Book
inferred← citeshttps://doi.org/10.1007/3-540-45442-x_11openalex-snapshot
Verification of Java’s AbstractCollection Class: A Case Study
inferred← citeshttps://doi.org/10.1007/3-540-45492-6_81openalex-snapshot
Performance Analysis of Java Using Petri Nets
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-48737-9_10openalex-snapshot
A Programmer Friendly Modular Definition of the Semantics of Java
inferred← citeshttps://doi.org/10.1007/3-540-48737-9_2openalex-snapshot
Describing the Semantics of Java and Proving Type Soundness
inferred← citeshttps://doi.org/10.1007/3-540-48737-9_4openalex-snapshot
Machine-Checking the Java Specification: Proving Type-Safety
inferred← citeshttps://doi.org/10.1007/3-540-48737-9_5openalex-snapshot
An Event-Based Structural Operational Semantics of Multi-threaded Java
inferred← citeshttps://doi.org/10.1007/3-540-48737-9_7openalex-snapshot
A Programmer’s Reduction Semantics for Classes and Mixins
inferred← citeshttps://doi.org/10.1007/3-540-48737-9_8openalex-snapshot
A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and Subroutines
inferred← citeshttps://doi.org/10.1007/3-540-48749-2_7openalex-snapshot
Security Properties of Typed Applets
inferred← citeshttps://doi.org/10.1007/3-540-49727-7_2openalex-snapshot
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines
inferred← citeshttps://doi.org/10.1007/978-0-387-35528-3_7openalex-snapshot
Formalising Java Safety—An Overview
inferred← citeshttps://doi.org/10.1007/978-1-4471-0843-6_40openalex-snapshot
Common Java Bugs and Programmer Errors
inferred← citeshttps://doi.org/10.1007/978-3-540-45070-2_10openalex-snapshot
A Nominal Theory of Objects with Dependent Types
inferred← citeshttps://doi.org/10.1007/978-3-642-59984-2_29openalex-snapshot
Statische Analyse von Bibliotheken als Grundlage dynamischer Optimierung
inferred← citeshttps://doi.org/10.1007/bfb0000464openalex-snapshot
From sequential to multi-threaded Java: An event-based operational semantics
inferred← citeshttps://doi.org/10.1007/s00165-010-0148-1openalex-snapshot
Automatic verification of Java programs with dynamic frames
inferred← citeshttps://doi.org/10.1007/s00778-006-0042-xopenalex-snapshot
Genericity in Java: persistent and database systems implications
inferred← citeshttps://doi.org/10.1016/j.cl.2009.03.001openalex-snapshot
Towards proving type safety of
inferred← citeshttps://doi.org/10.1016/j.cl.2015.08.010openalex-snapshot
A lightweight approach to component-level exception mechanism for robust android apps
inferred← citeshttps://doi.org/10.1016/s0140-3664(00)00245-0openalex-snapshot
On object initialization in the Java bytecode
inferred← citeshttps://doi.org/10.1016/s0164-1212(03)00057-8openalex-snapshot
An uncaught exception analysis for Java
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00330-4openalex-snapshot
A type system for JVM threads
inferred← citeshttps://doi.org/10.1017/s0956796824000121openalex-snapshot
A simple blame calculus for explicit nulls
inferred← citeshttps://doi.org/10.1023/a:1025011624925openalex-snapshot
A Type System for the Java Bytecode Language and Verifier
inferred← citeshttps://doi.org/10.1023/b:jars.0000021015.15794.82openalex-snapshot
Lightweight Bytecode Verification
inferred← citeshttps://doi.org/10.1109/iccitechn.2008.4803025openalex-snapshot
Structural operational semantics of packages in Java
inferred← citeshttps://doi.org/10.1109/iccl.1998.674152openalex-snapshot
Security and dynamic class loading in Java: a formalisation
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.1199342openalex-snapshot
Garbage collector memory accounting in language-based systems
inferred← citeshttps://doi.org/10.1109/tools.1999.809426openalex-snapshot
How can covariance in pragmatical class methods be made statically type-safe?
inferred← citeshttps://doi.org/10.1145/1167473.1167503openalex-snapshot
An operational semantics and type safety prooffor multiple inheritance in C++
inferred← citeshttps://doi.org/10.1145/1449764.1449803openalex-snapshot
Efficient software model checking of soundness of type systems
inferred← citeshttps://doi.org/10.1145/1449955.1449803openalex-snapshot
Efficient software model checking of soundness of type systems
inferred← citeshttps://doi.org/10.1145/1480945.1480952openalex-snapshot
Translation and optimization for a core calculus with exceptions
inferred← citeshttps://doi.org/10.1145/268946.268959openalex-snapshot
A type system for Java bytecode subroutines
inferred← citeshttps://doi.org/10.1145/268946.268960openalex-snapshot
Javalight is type-safe---definitely
inferred← citeshttps://doi.org/10.1145/268946.268979openalex-snapshot
Security properties of typed applets
inferred← citeshttps://doi.org/10.1145/268998.266668openalex-snapshot
Extensible security architectures for Java
inferred← citeshttps://doi.org/10.1145/269005.266668openalex-snapshot
Extensible security architectures for Java
inferred← citeshttps://doi.org/10.1145/286936.286972openalex-snapshot
A type system for object initialization in the Java bytecode language
inferred← citeshttps://doi.org/10.1145/286936.286974openalex-snapshot
What is Java binary compatibility?
inferred← citeshttps://doi.org/10.1145/286942.286972openalex-snapshot
A type system for object initialization in the Java bytecode language
inferred← citeshttps://doi.org/10.1145/288195.288269openalex-snapshot
Toward a formal theory of extensible software
inferred← citeshttps://doi.org/10.1145/314602.314606openalex-snapshot
A type system for Java bytecode subroutines
inferred← citeshttps://doi.org/10.1145/3158150openalex-snapshot
Bonsai: synthesis-based reasoning for type systems
inferred← citeshttps://doi.org/10.1145/317636.317798openalex-snapshot
Representing Java classes in a typed intermediate language
inferred← citeshttps://doi.org/10.1145/320384.320397openalex-snapshot
A formal framework for the Java bytecode language and verifier
inferred← citeshttps://doi.org/10.1145/320385.320397openalex-snapshot
A formal framework for the Java bytecode language and verifier
inferred← citeshttps://doi.org/10.1145/328939.328943openalex-snapshot
Type-checking OQL queries in the ODMG type systems
inferred← citeshttps://doi.org/10.1145/331960.331965openalex-snapshot
Using production grammars in software testing
inferred← citeshttps://doi.org/10.1145/333580.333593openalex-snapshot
Semantics study and reality of computing
inferred← citeshttps://doi.org/10.1145/338407.338573openalex-snapshot
Verifying object initialization in the Java bytecode language
inferred← citeshttps://doi.org/10.1145/349299.349328openalex-snapshot
Type-based race detection for Java
inferred← citeshttps://doi.org/10.1145/358438.349328openalex-snapshot
Type-based race detection for Java
inferred← citeshttps://doi.org/10.1145/360204.360228openalex-snapshot
Typing a multi-language intermediate code
inferred← citeshttps://doi.org/10.1145/372202.372786openalex-snapshot
Interprocedural exception analysis for Java
inferred← citeshttps://doi.org/10.1145/373243.360228openalex-snapshot
Typing a multi-language intermediate code
inferred← citeshttps://doi.org/10.1145/503112.503115openalex-snapshot
Formalizing the safety of Java, the Java virtual machine, and Java card
inferred← citeshttps://doi.org/10.1145/505586.505589openalex-snapshot
Termination in language-based systems
inferred← citeshttps://doi.org/10.1145/592642.592643openalex-snapshot
On type systems for object-oriented database programming languages
inferred← citeshttps://doi.org/10.1145/773184.773195openalex-snapshot
Granularity of constraint-based analysis for Java
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.32.511openalex-snapshot
Attribute Computations in the DPoPb Graph Transformation Engine
inferred← citeshttps://doi.org/10.21236/ada567483openalex-snapshot
Program Analysis Techniques for Efficient Software Model Checking
inferred← citeshttps://doi.org/10.22028/d291-25730openalex-snapshot
A demand-driven solver for constraint-based control flow analysis
inferred← citeshttps://doi.org/10.22456/2175-2745.80912openalex-snapshot
Formal Semantics for Java-like Languages and Research Opportunities
inferred← citeshttps://doi.org/10.4230/lipics.ecoop.2016.20openalex-snapshot
Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism
inferred← citeshttps://doi.org/10.48456/tr-702openalex-snapshot
Relationships for object-oriented programming languages
inferred← citeshttps://doi.org/10.48550/arxiv.1706.00274openalex-snapshot
Towards a Java Subtyping Operad
inferred← citeshttps://doi.org/10.5287/ora-jnd6mp6wpopenalex-snapshot
Formal relationships in sequential object systems
inferred← citeshttps://doi.org/10.5381/jot.2007.6.8.a3openalex-snapshot
A Formal Type System for Java.
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.