On the public citation graph
Confined types in Java
0 signed · 112 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.370openalex-snapshot
Alias burying: Unique variables without destructive reads
inferredcites →https://doi.org/10.1007/3-540-48166-4_22openalex-snapshot
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java
inferredcites →https://doi.org/10.1007/3-540-62852-5_14openalex-snapshot
Security and communication in mobile object systems
inferredcites →https://doi.org/10.1007/3-540-68671-1_5openalex-snapshot
Safe, Untrusted Agents Using Proof-Carrying Code
inferredcites →https://doi.org/10.1007/978-3-540-45347-5_9openalex-snapshot
The Bond Agent System and Applications
inferredcites →https://doi.org/10.1007/978-3-642-59984-2_6openalex-snapshot
Poor Man’s Genericity for Java
inferredcites →https://doi.org/10.1007/bfb0030629openalex-snapshot
A type-based approach to program security
inferredcites →https://doi.org/10.1007/bfb0053373openalex-snapshot
Balloon types: Controlling sharing of state in data types
inferredcites →https://doi.org/10.1007/bfb0055511openalex-snapshot
Stack-based Typed Assembly Language
inferredcites →https://doi.org/10.1007/bfb0055519openalex-snapshot
An approach to improve locality using sandwich types
inferredcites →https://doi.org/10.1016/c2013-0-01290-xopenalex-snapshot
Capability-Based Computer Systems
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/asama.1999.805397openalex-snapshot
The JavaSeal mobile agent kernel
inferredcites →https://doi.org/10.1109/cmpcon.1996.501749openalex-snapshot
Mobile agent security and Telescript
inferredcites →https://doi.org/10.1109/hotos.1997.595184openalex-snapshot
Security for extensible systems
inferredcites →https://doi.org/10.1109/icdcs.1996.507926openalex-snapshot
Hidden software capabilities
inferredcites →https://doi.org/10.1109/mc.1986.1663089openalex-snapshot
The 7th International Conference on Distributed Computing Systems
inferredcites →https://doi.org/10.1109/wwos.1992.275684openalex-snapshot
Opal: a single address space system for 64-bit architecture address space
inferredcites →https://doi.org/10.1145/130943.130947openalex-snapshot
The Geneva convention on the treatment of object aliasing
inferredcites →https://doi.org/10.1145/142111.964562openalex-snapshot
Opal: A Single Address Space System for 64-bit Architectures
inferredcites →https://doi.org/10.1145/161494.161501openalex-snapshot
Undecidability of static analysis
inferredcites →https://doi.org/10.1145/268946.268954openalex-snapshot
From system F to typed assembly language
inferredcites →https://doi.org/10.1145/268946.268975openalex-snapshot
Secure information flow in a multi-threaded imperative language
inferredcites →https://doi.org/10.1145/268946.268979openalex-snapshot
Security properties of typed applets
inferredcites →https://doi.org/10.1145/268998.266668openalex-snapshot
Extensible security architectures for Java
inferredcites →https://doi.org/10.1145/286936.286947openalex-snapshot
Ownership types for flexible alias protection
inferredcites →https://doi.org/10.1145/286936.286957openalex-snapshot
Making the future safe for the past
inferredcites →https://doi.org/10.1145/286942.286947openalex-snapshot
Ownership types for flexible alias protection
inferredcites →https://doi.org/10.1145/300307.300311openalex-snapshot
Confinement properties for programming languages
inferredcites →https://doi.org/10.1145/357980.358017openalex-snapshot
A method for obtaining digital signatures and public-key cryptosystems
inferredcites →https://doi.org/10.1145/3592626.3592655openalex-snapshot
Omniware: A Universal Substrate for Web Programming
inferredcites →https://doi.org/10.1145/359340.359342openalex-snapshot
A method for obtaining digital signatures and public-key cryptosystems
inferredcites →https://doi.org/10.1145/360051.360056openalex-snapshot
A lattice model of secure information flow
inferredcites →https://doi.org/10.5860/choice.32-0639openalex-snapshot
Encyclopedia of software engineering
inferredcites →https://doi.org/10.7551/mitpress/2087.003.0007openalex-snapshot
Analysis of Inheritance Anamoly in Object-Oriented Concurrent Programming Languages
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11417170_22openalex-snapshot
L3: A Linear Language with Locations
inferred← citeshttps://doi.org/10.1007/11494881_13openalex-snapshot
Specification and Verification of Encapsulation in Java Programs
inferred← citeshttps://doi.org/10.1007/11531142_17openalex-snapshot
State Based Ownership, Reentrance, and Encapsulation
inferred← citeshttps://doi.org/10.1007/11863908_9openalex-snapshot
Discretionary Capability Confinement
inferred← citeshttps://doi.org/10.1007/978-3-540-25934-3_19openalex-snapshot
Aliasing, Confinement, and Ownership in Object-Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-69611-7_7openalex-snapshot
Automatic Incrementalization of Prolog Based Static Analyses
inferred← citeshttps://doi.org/10.1007/978-3-540-71316-6_24openalex-snapshot
Immutable Objects for a Java-Like Language
inferred← citeshttps://doi.org/10.1007/978-3-540-71322-7_6openalex-snapshot
Infering Ownership Types for Encapsulated Object-Oriented Program Components
inferred← citeshttps://doi.org/10.1007/978-3-642-02047-6_4openalex-snapshot
Aliasing, Confinement, and Ownership in Object-Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-03013-0_24openalex-snapshot
Type-Based Object Immutability with Flexible Initialization
inferred← citeshttps://doi.org/10.1007/978-3-642-14107-2_15openalex-snapshot
A Type System for Data-Centric Synchronization
inferred← citeshttps://doi.org/10.1007/978-3-642-31057-7_30openalex-snapshot
Application-Only Call Graph Construction
inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_12openalex-snapshot
State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings
inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_15openalex-snapshot
Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy?
inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_3openalex-snapshot
Ownership Types: A Survey
inferred← citeshttps://doi.org/10.1007/978-3-642-39038-8_16openalex-snapshot
Averroes: Whole-Program Analysis without the Whole Program
inferred← citeshttps://doi.org/10.1007/bf03037627openalex-snapshot
Secure software infrastructure in the internet age
inferred← citeshttps://doi.org/10.1007/s10207-004-0049-5openalex-snapshot
Static use-based object confinement
inferred← citeshttps://doi.org/10.1007/s10207-007-0047-5openalex-snapshot
Discretionary capability confinement
inferred← citeshttps://doi.org/10.1007/s11704-009-0075-6openalex-snapshot
A semantic model of confinement and Locality theorem
inferred← citeshttps://doi.org/10.1007/s11704-013-1259-7openalex-snapshot
Confinement framework for encapsulating objects
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.10.006openalex-snapshot
Incremental Confined Types Analysis
inferred← citeshttps://doi.org/10.1016/j.scico.2005.07.013openalex-snapshot
Confining data and processes in global computing applications
inferred← citeshttps://doi.org/10.1016/j.scico.2007.04.001openalex-snapshot
Reasoning about safety properties in a JVM-like environment
inferred← citeshttps://doi.org/10.1016/j.scico.2011.10.006openalex-snapshot
Combining traits with boxes and ownership types in a Java-like setting
inferred← citeshttps://doi.org/10.1017/s0956796804005453openalex-snapshot
Stack-based access control and secure information flow
inferred← citeshttps://doi.org/10.1017/s0956796806006125openalex-snapshot
Featherweight generic confinement
inferred← citeshttps://doi.org/10.1049/ip-sen:20040168openalex-snapshot
Sustainable architectures by combining flexibility and strictness in Object Teams
inferred← citeshttps://doi.org/10.1109/csfw.2002.1021820openalex-snapshot
Secure information flow and pointer con .nement in a java-like language
inferred← citeshttps://doi.org/10.1109/msp.2005.77openalex-snapshot
Programming Languages and Systems Security
inferred← citeshttps://doi.org/10.1109/scam.2005.24openalex-snapshot
Static Analysis for Computing Escapability and Mutability for Java Components
inferred← citeshttps://doi.org/10.1109/tase.2008.31openalex-snapshot
A Generic Model for Confinement and its Application
inferred← citeshttps://doi.org/10.1109/tase.2008.38openalex-snapshot
A Relational Model for Confined Separation Logic
inferred← citeshttps://doi.org/10.1145/1028976.1029010openalex-snapshot
Pluggable verification modules
inferred← citeshttps://doi.org/10.1145/1035292.1029010openalex-snapshot
Pluggable verification modules
inferred← citeshttps://doi.org/10.1145/1101821.1101824openalex-snapshot
Ownership confinement ensures representation independence for object-oriented programs
inferred← citeshttps://doi.org/10.1145/1167473.1167500openalex-snapshot
Generic ownership for generic Java
inferred← citeshttps://doi.org/10.1145/1167515.1167500openalex-snapshot
Generic ownership for generic Java
inferred← citeshttps://doi.org/10.1145/1286821.1286823openalex-snapshot
Encapsulating objects with confined types
inferred← citeshttps://doi.org/10.1145/1297027.1297059openalex-snapshot
Inferring aliasing and encapsulation properties for java
inferred← citeshttps://doi.org/10.1145/1297105.1297059openalex-snapshot
Inferring aliasing and encapsulation properties for java
inferred← citeshttps://doi.org/10.1145/2160910.2160913openalex-snapshot
A data-centric approach to synchronization
inferred← citeshttps://doi.org/10.1145/2837022openalex-snapshot
The Design and Formalization of Mezzo, a Permission-Based Programming Language
inferred← citeshttps://doi.org/10.1145/503272.503289openalex-snapshot
Representation independence, confinement and access control [extended abstract]
inferred← citeshttps://doi.org/10.1145/565816.503289openalex-snapshot
Representation independence, confinement and access control [extended abstract]
inferred← citeshttps://doi.org/10.1145/949305.949318openalex-snapshot
Lightweight confinement for featherweight java
inferred← citeshttps://doi.org/10.1145/949305.949339openalex-snapshot
Saving the world from bad beans
inferred← citeshttps://doi.org/10.1145/949343.949318openalex-snapshot
Lightweight confinement for featherweight java
inferred← citeshttps://doi.org/10.1145/949343.949339openalex-snapshot
Saving the world from bad beans
inferred← citeshttps://doi.org/10.26686/wgtn.17006749openalex-snapshot
Generic Ownership Types for Java and the Collections Framework
inferred← citeshttps://doi.org/10.31274/rtd-180813-16463openalex-snapshot
Modular subclass verification: safely creating correct subclasses without superclass code
inferred← citeshttps://doi.org/10.3844/jcssp.2016.314.322openalex-snapshot
Abstract Interpretation of Java Bytecode for Immutability Analysis
inferred← citeshttps://doi.org/10.48456/tr-769openalex-snapshot
Kilim: A server framework with lightweight actors, isolation types and zero-copy messaging
inferred← citeshttps://doi.org/10.48550/arxiv.1907.11317openalex-snapshot
Explicit and Controllable Assignment Semantics
inferred← citeshttps://doi.org/10.5381/jot.2007.6.5.a3openalex-snapshot
A Parameterized Type System for Simple Loose Ownership Domains.
inferred← citeshttps://doi.org/10.5555/1775223.1775238openalex-snapshot
Regulating data exchange in service oriented applications
inferred← citeshttps://doi.org/10.5555/2394758.2394788openalex-snapshot
Assuring object-oriented architecture
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.