On the public citation graph

Balloon types: Controlling sharing of state in data types

0 signed · 174 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-15975-4_28openalex-snapshot

Strictness analysis — a practical approach

inferredcites →https://doi.org/10.1007/978-3-662-09507-2_3openalex-snapshot

Hints on Programming Language Design

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

The programming language pascal

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

Proof of correctness of data representations

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

Towards alias-free pointers

inferredcites →https://doi.org/10.1016/0167-6423(88)90020-2openalex-snapshot

Abstraction and specification in program development

inferredcites →https://doi.org/10.1016/0950-5849(92)90131-8openalex-snapshot

Eiffel: the language

inferredcites →https://doi.org/10.1017/cbo9780511608650openalex-snapshot

The Theory of Partitions

inferredcites →https://doi.org/10.1093/oso/9780198537809.003.0005openalex-snapshot

Abstract interpretation: a semantics-based tool for program analysis

inferredcites →https://doi.org/10.1109/iccl.1992.185488openalex-snapshot

Designing programming languages for analyzability: a fresh look at pointer data structures

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

Islands

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

Islands

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

The Geneva convention on the treatment of object aliasing

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

Roles for composite objects in object-oriented analysis and design

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

Roles for composite objects in object-oriented analysis and design

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

Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C

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

Solving shape-analysis problems in languages with destructive updating

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

Composite object support in an object-oriented database system

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

Dimensions of object-based language design

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

Composite object support in an object-oriented database system

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

Dimensions of object-based language design

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

Syntactic control of interference

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

Abstract interpretation

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

Polymorphic effect systems

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

Report on the programming language Euclid

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

Object identity

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

Values and objects in programming languages

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

Frontiers and open sets in abstract interpretation

inferredcites →https://doi.org/10.7146/dpb.v16i229.7578openalex-snapshot

The BETA Programming Language

What points at this work

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

inferred← citeshttps://doi.org/10.1002/cpe.799openalex-snapshot

Checking ownership and confinement

inferred← citeshttps://doi.org/10.1002/spe.2587openalex-snapshot

Selective friends in C++

inferred← citeshttps://doi.org/10.1002/spe.369openalex-snapshot

Confined types in Java

inferred← citeshttps://doi.org/10.1002/spe.370openalex-snapshot

Alias burying: Unique variables without destructive reads

inferred← citeshttps://doi.org/10.1002/spe.372openalex-snapshot

JAC—Access right based encapsulation for Java

inferred← citeshttps://doi.org/10.1002/spe.373openalex-snapshot

Coping with aliasing in the GNU Eiffel Compiler implementation

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_21openalex-snapshot

A Type System for Reachability and Acyclicity

inferred← citeshttps://doi.org/10.1007/11547662_20openalex-snapshot

Interprocedural Shape Analysis for Cutpoint-Free Programs

inferred← citeshttps://doi.org/10.1007/11785477_6openalex-snapshot

On Ownership and Accessibility

inferred← citeshttps://doi.org/10.1007/11860990_15openalex-snapshot

A Component Language for Structured Parallel Programming

inferred← citeshttps://doi.org/10.1007/3-540-44577-3_11openalex-snapshot

Extended Static Checking: A Ten-Year Perspective

inferred← citeshttps://doi.org/10.1007/3-540-44892-6_17openalex-snapshot

Optimising Java RMI Programs by Communication Restructuring

inferred← citeshttps://doi.org/10.1007/3-540-45102-1_20openalex-snapshot

Empirical Study of Object-Layout Strategies and Optimization Techniques

inferred← citeshttps://doi.org/10.1007/3-540-45337-7_2openalex-snapshot

Capabilities for Sharing

inferred← citeshttps://doi.org/10.1007/3-540-45337-7_3openalex-snapshot

Sealing, Encapsulation, and Mutablility

inferred← citeshttps://doi.org/10.1007/3-540-45337-7_4openalex-snapshot

Simple Ownership Types for Object Containment

inferred← citeshttps://doi.org/10.1007/3-540-45337-7_5openalex-snapshot

Distinctness and Sharing Domains for Static Analysis of Java Programs

inferred← citeshttps://doi.org/10.1007/3-540-45719-4_31openalex-snapshot

Sharing Objects by Read-Only References

inferred← citeshttps://doi.org/10.1007/3-540-45875-1_5openalex-snapshot

Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership

inferred← citeshttps://doi.org/10.1007/3-540-46589-8_8openalex-snapshot

Aliasing in Object Oriented Systems

inferred← citeshttps://doi.org/10.1007/978-0-387-35520-7_7openalex-snapshot

A Step Toward Automatic Distribution of Java Programs

inferred← citeshttps://doi.org/10.1007/978-3-319-03542-0_10openalex-snapshot

Dynamic Alias Protection with Aliasing Contracts

inferred← citeshttps://doi.org/10.1007/978-3-319-26529-2_12openalex-snapshot

Aliasing Control in an Imperative Pure Calculus

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

Ownership Domains: Separating Aliasing Policy from Mechanism

inferred← citeshttps://doi.org/10.1007/978-3-540-45070-2_9openalex-snapshot

External Uniqueness Is Unique Enough

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-540-73589-2_11openalex-snapshot

Validity Invariants and Effects

inferred← citeshttps://doi.org/10.1007/978-3-540-89330-1_11openalex-snapshot

Minimal Ownership for Active Objects

inferred← citeshttps://doi.org/10.1007/978-3-540-89740-8_12openalex-snapshot

Thread Safety through Partitions and Effect Agreements

inferred← citeshttps://doi.org/10.1007/978-3-642-10672-9_12openalex-snapshot

Ownership Downgrading for Ownership Types

inferred← citeshttps://doi.org/10.1007/978-3-642-13953-6_7openalex-snapshot

Read-Only Execution for Dynamic Languages

inferred← citeshttps://doi.org/10.1007/978-3-642-14107-2_17openalex-snapshot

Capabilities for Uniqueness and Borrowing

inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_1openalex-snapshot

Beyond the Geneva Convention on the Treatment of Object Aliasing

inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_4openalex-snapshot

Notions of Aliasing and Ownership

inferred← citeshttps://doi.org/10.1007/978-3-662-44471-9_4openalex-snapshot

Building Safe Concurrency Abstractions

inferred← citeshttps://doi.org/10.1007/978-94-015-9636-7_18openalex-snapshot

An OOAD Approach to Resolve Conflicting Management of Shared Objects among Components

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

Flexible alias protection

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

An approach to improve locality using sandwich types

inferred← citeshttps://doi.org/10.1007/s11334-024-00570-5openalex-snapshot

Distributed Petri nets for model-driven verifiable robotic applications in ROS

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.2016.03.007openalex-snapshot

An Imperative Pure Calculus

inferred← citeshttps://doi.org/10.1016/j.ic.2008.12.004openalex-snapshot

Asynchronous sequential processes

inferred← citeshttps://doi.org/10.1016/j.scico.2018.11.007openalex-snapshot

Tracing sharing in an imperative pure calculus

inferred← citeshttps://doi.org/10.1016/j.tcs.2018.09.001openalex-snapshot

Flexible recovery of uniqueness and immutability

inferred← citeshttps://doi.org/10.1016/s0140-6736(73)92790-6openalex-snapshot

FEDERAL REPUBLIC OF GERMANY

inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80064-1openalex-snapshot

Type-checking Balloon Types

inferred← citeshttps://doi.org/10.1017/s0956796805005691openalex-snapshot

Type-based confinement

inferred← citeshttps://doi.org/10.1017/s0956796812000366openalex-snapshot

Syntactic soundness proof of a type-and-capability system with hidden state

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

Conglomeration-realising alias protection

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

Statically checkable design level traits

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

Change detection for aggregate objects with aliasing

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

The ins and outs of objects

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

An object-oriented analysis and design approach for safe object sharing

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

Promises: limited specifications for analysis and manipulation

inferred← citeshttps://doi.org/10.1109/models-c59198.2023.00127openalex-snapshot

DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets

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

An empirical investigation of changes in some software properties over time

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

Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java

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

A Generic Model for Confinement and its Application

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

Object ownership for dynamic alias protection

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

Using Types to Enforce Architectural Structure

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

Object-oriented encapsulation for dynamically typed languages

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

A semantics for procedure local heaps and its abstractions

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

Permission-based ownership

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

Permission-based ownership

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

Ownership confinement ensures representation independence for object-oriented programs

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

Protecting representation with effect encapsulation

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

Protecting representation with effect encapsulation

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

An analysis and visualization for revealing object sharing

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

A dynamic analysis for revealing object ownership and sharing

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

Simplifying reasoning about objects with Tako

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

Encapsulating objects with confined types

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

Raw pointers in application classes of C++ considered harmful

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

Inferring aliasing and encapsulation properties for java

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

Multiple ownership

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

Dynamic ownership in a dynamic language

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

Deadlock freedom through object ownership

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

Modular session types for distributed object-oriented programming

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

Checking concurrent contracts with aspects

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

Separating ownership topology and encapsulation with generic universe types

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

How much information do software metrics contain?

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

Disjointness domains for fine-grained aliasing

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

Ownership types for flexible alias protection

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

Borrow, copy or steal?

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

Exploring language support for immutability

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

LaCasa: lightweight affinity and object capabilities in Scala

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

Programming Scalable Cloud Services with AEON

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

Short Paper

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

A type and effect system for sharing

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

LaCasa: lightweight affinity and object capabilities in Scala

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

Tracing sharing in an imperative pure calculus

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

Confined types

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

Confined types

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

A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust

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

A flexible type system for fearless concurrency

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

Safe adaptation of cobotic cells based on petri nets

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

Exclusion for composite objects

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

An approach to safe object sharing

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

An approach to safe object sharing

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

Functional Ownership through Fractional Uniqueness

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

Role analysis

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

Encapsulating objects with confined types

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

Data abstraction and information hiding

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

Ownership types for safe programming

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

Ownership, encapsulation and the disjointness of type and effect

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

Alias annotations for program understanding

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

Ownership types for safe programming

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

Ownership types for object encapsulation

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

Ownership types for object encapsulation

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.2168/lmcs-11(4:12)2015openalex-snapshot

Modular session types for objects

inferred← citeshttps://doi.org/10.26686/wgtn.13174931openalex-snapshot

Tracing and preventing sharing and mutation

inferred← citeshttps://doi.org/10.26686/wgtn.13174961openalex-snapshot

Flexible recovery of uniqueness and immutability

inferred← citeshttps://doi.org/10.26686/wgtn.13174961.v1openalex-snapshot

Flexible recovery of uniqueness and immutability

inferred← citeshttps://doi.org/10.26686/wgtn.13174982openalex-snapshot

An Imperative Pure Calculus

inferred← citeshttps://doi.org/10.26686/wgtn.13174982.v1openalex-snapshot

An Imperative Pure Calculus

inferred← citeshttps://doi.org/10.26686/wgtn.16934452openalex-snapshot

Generic Ownership: a Practical Approach to Ownership and Confinement in Object-Oriented Programming Languages

inferred← citeshttps://doi.org/10.26686/wgtn.16946002openalex-snapshot

Encapsulation Enforcement with Dynamic Ownership

inferred← citeshttps://doi.org/10.26686/wgtn.16946002.v1openalex-snapshot

Encapsulation Enforcement with Dynamic Ownership

inferred← citeshttps://doi.org/10.26686/wgtn.17006749openalex-snapshot

Generic Ownership Types for Java and the Collections Framework

inferred← citeshttps://doi.org/10.26686/wgtn.17006749.v1openalex-snapshot

Generic Ownership Types for Java and the Collections Framework

inferred← citeshttps://doi.org/10.26686/wgtn.17012642openalex-snapshot

Object Cloning for Ownership Systems

inferred← citeshttps://doi.org/10.26686/wgtn.17012642.v1openalex-snapshot

Object Cloning for Ownership Systems

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.3929/ethz-a-004756402openalex-snapshot

Detecting synchronization defects in multi-threaded object-oriented programs

inferred← citeshttps://doi.org/10.3929/ethz-a-005951213openalex-snapshot

Universe Types: Topology, encapsulation, genericity, and tools

inferred← citeshttps://doi.org/10.4204/eptcs.293.4openalex-snapshot

A Syntactic Model of Mutation and Aliasing

inferred← citeshttps://doi.org/10.4230/oasics.trustworthysw.2006.698openalex-snapshot

Shape Analysis of Sets

inferred← citeshttps://doi.org/10.48456/tr-702openalex-snapshot

Relationships for object-oriented programming languages

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.48456/tr-836openalex-snapshot

Aliasing contracts: a dynamic approach to alias protection

inferred← citeshttps://doi.org/10.48550/arxiv.1607.05609openalex-snapshot

Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness

inferred← citeshttps://doi.org/10.48550/arxiv.1807.00137openalex-snapshot

Flexible recovery of uniqueness and immutability (Extended Version)

inferred← citeshttps://doi.org/10.5075/epfl-thesis-4874openalex-snapshot

Isolated Actors for Race-Free Concurrent Programming

inferred← citeshttps://doi.org/10.5287/ora-jnd6mp6wpopenalex-snapshot

Formal relationships in sequential object systems

inferred← citeshttps://doi.org/10.5381/jot.2004.3.6.a2openalex-snapshot

Verification of Object-Oriented Programs with Invariants.

inferred← citeshttps://doi.org/10.5381/jot.2006.5.5.a1openalex-snapshot

Why we should not add readonly to Java (yet).

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

Validity invariants and effects

inferred← citeshttps://doi.org/10.5555/2664446.2664481openalex-snapshot

An empirical investigation of changes in some software properties over time

inferred← citeshttps://doi.org/10.70675/d71c44b8zede3z4d89z9dbezdf0041d3d5edopenalex-snapshot

Graphes de localités : une approche formelle à l'encapsulation et implémentation

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.