On the public citation graph

Towards alias-free pointers

https://doi.org/10.1007/bfb0053062
0 signed · 77 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.1016/0167-6423(89)90034-8openalex-snapshot
Object-oriented software construction
inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot
Linear logic
inferredcites →https://doi.org/10.1016/0950-5849(92)90131-8openalex-snapshot
Eiffel: the language
inferredcites →https://doi.org/10.1109/32.90445openalex-snapshot
Copying and swapping: influences on the design of reusable software components
inferredcites →https://doi.org/10.1145/161494.161501openalex-snapshot
Undecidability of static analysis
inferredcites →https://doi.org/10.1145/199818.199860openalex-snapshot
“Use-once” variables and linear objects
inferredcites →https://doi.org/10.1145/361598.361623openalex-snapshot
On the criteria to be used in decomposing systems into modules

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.713openalex-snapshot
Modular specification of frame properties in JML
inferred← citeshttps://doi.org/10.1002/spe.370openalex-snapshot
Alias burying: Unique variables without destructive reads
inferred← citeshttps://doi.org/10.1002/spe.373openalex-snapshot
Coping with aliasing in the GNU Eiffel Compiler implementation
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-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-46589-8_8openalex-snapshot
Aliasing in Object Oriented Systems
inferred← citeshttps://doi.org/10.1007/3-540-48294-6_2openalex-snapshot
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
inferred← citeshttps://doi.org/10.1007/3-540-62599-2_34openalex-snapshot
An abstract data type for freezable lists and DAGs
inferred← citeshttps://doi.org/10.1007/978-3-030-86205-3_16openalex-snapshot
Formal Verification of a Java Component Using the RESOLVE Framework
inferred← citeshttps://doi.org/10.1007/978-3-319-19195-9_14openalex-snapshot
Simple Isolation for an Actor Abstract Machine
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-69824-1_7openalex-snapshot
Guarded Program Transformations Using JTL
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-642-10373-5_18openalex-snapshot
A Graph-Based Operational Semantics of OO Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_4openalex-snapshot
Notions of Aliasing and Ownership
inferred← citeshttps://doi.org/10.1007/bfb0053373openalex-snapshot
Balloon types: Controlling sharing of state in data types
inferred← citeshttps://doi.org/10.1007/bfb0054091openalex-snapshot
Flexible alias protection
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/icse.1998.671113openalex-snapshot
Promises: limited specifications for analysis and manipulation
inferred← citeshttps://doi.org/10.1109/icse.2005.1553561openalex-snapshot
Verifying safety policies with size properties and alias controls
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/1040305.1040329openalex-snapshot
Connecting effects and uniqueness with adoption
inferred← citeshttps://doi.org/10.1145/1064979.1065002openalex-snapshot
Instrumenting annotated programs
inferred← citeshttps://doi.org/10.1145/1094811.1094819openalex-snapshot
Micro patterns in Java code
inferred← citeshttps://doi.org/10.1145/1101821.1101824openalex-snapshot
Ownership confinement ensures representation independence for object-oriented programs
inferred← citeshttps://doi.org/10.1145/1181195.1181207openalex-snapshot
Simplifying reasoning about objects with Tako
inferred← citeshttps://doi.org/10.1145/1181775.1181785openalex-snapshot
How is aliasing used in systems software?
inferred← citeshttps://doi.org/10.1145/1288258.1288262openalex-snapshot
Raw pointers in application classes of C++ considered harmful
inferred← citeshttps://doi.org/10.1145/1296907.1296923openalex-snapshot
Uniqueness inference for compile-time object deallocation
inferred← citeshttps://doi.org/10.1145/1297027.1297061openalex-snapshot
Ownership transfer in universe types
inferred← citeshttps://doi.org/10.1145/1297105.1297061openalex-snapshot
Ownership transfer in universe types
inferred← citeshttps://doi.org/10.1145/1562154.1562158openalex-snapshot
Comprehending annotations on object-oriented programs using fractional permissions
inferred← citeshttps://doi.org/10.1145/1639950.1640056openalex-snapshot
Traditional assignment considered harmful
inferred← citeshttps://doi.org/10.1145/2048147.2048178openalex-snapshot
Alternate annotation checkers using fractional permissions
inferred← citeshttps://doi.org/10.1145/2103621.2103722openalex-snapshot
A type system for borrowing permissions
inferred← citeshttps://doi.org/10.1145/2814189.2814198openalex-snapshot
Panini: a concurrent programming model with modular reasoning
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/2983990.2984042openalex-snapshot
LaCasa: lightweight affinity and object capabilities in Scala
inferred← citeshttps://doi.org/10.1145/2993600.2993604openalex-snapshot
Short Paper
inferred← citeshttps://doi.org/10.1145/3062341.3062376openalex-snapshot
Simple, fast, and safe manual memory management
inferred← citeshttps://doi.org/10.1145/3141879openalex-snapshot
Project snowflake: non-blocking safe manual memory management in .NET
inferred← citeshttps://doi.org/10.1145/3519939.3523443openalex-snapshot
A flexible type system for fearless concurrency
inferred← citeshttps://doi.org/10.1145/3729313openalex-snapshot
Dynamic Region Ownership for Concurrency Safety
inferred← citeshttps://doi.org/10.1145/504282.504287openalex-snapshot
A parameterized type system for race-free Java programs
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/780822.781146openalex-snapshot
Checking and inferring local non-aliasing
inferred← citeshttps://doi.org/10.1145/780822.781169openalex-snapshot
A type and effect system for atomicity
inferred← citeshttps://doi.org/10.1184/r1/6620846openalex-snapshot
A Type System for Borrowing Permissions (CMU-CS-11-142)
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.31274/rtd-180813-16463openalex-snapshot
Modular subclass verification: safely creating correct subclasses without superclass code
inferred← citeshttps://doi.org/10.48550/arxiv.1106.1531openalex-snapshot
Poplar: A Java Extension for Evolvable Component Integration
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.1803.02796openalex-snapshot
Resource Polymorphism
inferred← citeshttps://doi.org/10.48550/arxiv.1903.00982openalex-snapshot
Oxide: The Essence of Rust
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.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.5555/2342788.2342793openalex-snapshot
Parallel closures: a new twist on an old idea
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.