On the public citation graph
Flexible alias protection
0 signed · 281 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.1007/3-540-47891-4_5openalex-snapshot
On Including Part Hierarchies in Object-Oriented Languages, with an Implementation in Smalltalk
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-63594-7_90openalex-snapshot
The gateway security model in the Java Electronic Commerce Framework
inferredcites →https://doi.org/10.1007/bfb0053373openalex-snapshot
Balloon types: Controlling sharing of state in data types
inferredcites →https://doi.org/10.1016/s0020-0190(99)00043-5openalex-snapshot
Virginity: A contribution to the specification of object-oriented software
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.1109/aswec.1997.623759openalex-snapshot
Change detection for aggregate objects with aliasing
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.1109/icdcs.1996.507926openalex-snapshot
Hidden software capabilities
inferredcites →https://doi.org/10.1109/icse.1998.671113openalex-snapshot
Promises: limited specifications for analysis and manipulation
inferredcites →https://doi.org/10.1142/9789812831163_0006openalex-snapshot
COPYING, SHARING, AND ALIASING
inferredcites →https://doi.org/10.1145/130943.130947openalex-snapshot
The Geneva convention on the treatment of object aliasing
inferredcites →https://doi.org/10.1145/161494.161501openalex-snapshot
Undecidability of static analysis
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/178243.178263openalex-snapshot
Interprocedural may-alias analysis for pointers
inferredcites →https://doi.org/10.1145/199818.199860openalex-snapshot
“Use-once” variables and linear objects
inferredcites →https://doi.org/10.1145/357146.357147openalex-snapshot
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
inferredcites →https://doi.org/10.1145/512760.512766openalex-snapshot
Syntactic control of interference
inferredcites →https://doi.org/10.1145/567752.567776openalex-snapshot
Flow analysis and optimization of LISP-like structures
inferredcites →https://doi.org/10.1145/988164.988172openalex-snapshot
Values and objects in 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.1002/cpe.713openalex-snapshot
Modular specification of frame properties in JML
inferred← citeshttps://doi.org/10.1002/spe.2143openalex-snapshot
Integrated program verification tools in education
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.1006/jvlc.2002.0238openalex-snapshot
Scalable Visualizations of Object-Oriented Systems with Ownership Trees
inferred← citeshttps://doi.org/10.1007/11531142_24openalex-snapshot
Extending JML for Modular Specification and Verification of Multi-threaded Programs
inferred← citeshttps://doi.org/10.1007/11547662_20openalex-snapshot
Interprocedural Shape Analysis for Cutpoint-Free Programs
inferred← citeshttps://doi.org/10.1007/11785477_7openalex-snapshot
Scoped Types and Aspects for Real-Time Java
inferred← citeshttps://doi.org/10.1007/11804192_15openalex-snapshot
Modular Specification of Encapsulated Object-Oriented Components
inferred← citeshttps://doi.org/10.1007/11804192_16openalex-snapshot
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
inferred← citeshttps://doi.org/10.1007/11901433_2openalex-snapshot
JML’s Rich, Inherited Specifications for Behavioral Subtypes
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-44577-3_11openalex-snapshot
Extended Static Checking: A Ten-Year Perspective
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_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-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/3-540-46852-8_15openalex-snapshot
Modeling Dynamic Software Components in UML
inferred← citeshttps://doi.org/10.1007/3-540-47959-7_3openalex-snapshot
Seal: A Framework for Secure Mobile Computations
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/978-3-030-45234-6_21openalex-snapshot
Holistic Specifications for Robust Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-08166-8_15openalex-snapshot
Further Lessons from the JML Project
inferred← citeshttps://doi.org/10.1007/978-3-319-45279-1_6openalex-snapshot
Automatic Annotating and Checking of Dynamic Ownership
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-69149-5_15openalex-snapshot
Lessons from the JML Project
inferred← citeshttps://doi.org/10.1007/978-3-540-69824-1_11openalex-snapshot
Ownership, Uniqueness, and Immutability
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-73589-2_26openalex-snapshot
Tracking Linear and Affine Resources with Java(X)
inferred← citeshttps://doi.org/10.1007/978-3-540-78195-0_5openalex-snapshot
Aliasing, Confinement, and Ownership in Object-Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-78791-4_18openalex-snapshot
Coqa: Concurrent Objects with Quantized Atomicity
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-02047-6_4openalex-snapshot
Aliasing, Confinement, and Ownership in Object-Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-03013-0_21openalex-snapshot
Loci: Simple Thread-Locality for Java
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_15openalex-snapshot
A Type System for Data-Centric Synchronization
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-18070-5openalex-snapshot
Formal Verification of Object-Oriented Software
inferred← citeshttps://doi.org/10.1007/978-3-642-19823-6_4openalex-snapshot
Checking Concurrent Typestate with Access Permissions in Plural: A Retrospective
inferred← citeshttps://doi.org/10.1007/978-3-642-22655-7_17openalex-snapshot
Verifying Multi-object Invariants with Relationships
inferred← citeshttps://doi.org/10.1007/978-3-642-22655-7_8openalex-snapshot
Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity
inferred← citeshttps://doi.org/10.1007/978-3-642-23283-1_12openalex-snapshot
WP Semantics and Behavioral Subtyping
inferred← citeshttps://doi.org/10.1007/978-3-642-27705-4_4openalex-snapshot
The Location Linking Concept: A Basis for Verification of Code Using Pointers
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-31057-7_8openalex-snapshot
Multiple Aggregate Entry Points for Ownership Types
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_20openalex-snapshot
How, Then, Should We Program?
inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_21openalex-snapshot
A Retrospective on Aliasing Type Systems: 2012-2022
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-36946-9_6openalex-snapshot
Object Graphs with Ownership Domains: An Empirical Study
inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_7openalex-snapshot
Alias Control for Deterministic Parallelism
inferred← citeshttps://doi.org/10.1007/978-3-642-37036-6_22openalex-snapshot
Structural Lock Correlation with Ownership Types
inferred← citeshttps://doi.org/10.1007/978-3-642-39038-8_5openalex-snapshot
Heap Decomposition Inference with Linear Programming
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/s00165-018-0455-5openalex-snapshot
Unifying separation logic and region logic to allow interoperability
inferred← citeshttps://doi.org/10.1007/s10515-007-0010-8openalex-snapshot
Composition inference for UML class diagrams
inferred← citeshttps://doi.org/10.1007/s10515-008-0043-7openalex-snapshot
Parameter reference immutability: formal definition, inference tool, and comparison
inferred← citeshttps://doi.org/10.1007/s11241-007-9024-3openalex-snapshot
Scoped types and aspects for real-time Java memory management
inferred← citeshttps://doi.org/10.1007/s11704-009-0075-6openalex-snapshot
A semantic model of confinement and Locality theorem
inferred← citeshttps://doi.org/10.1016/j.cl.2008.05.006openalex-snapshot
Taking an object-centric view on dynamic information with object flow analysis
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.01.022openalex-snapshot
Decision Procedures for Set-Valued Fields
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.10.006openalex-snapshot
Incremental Confined Types Analysis
inferred← citeshttps://doi.org/10.1016/j.entcs.2013.09.020openalex-snapshot
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions
inferred← citeshttps://doi.org/10.1016/j.jss.2019.110450openalex-snapshot
A survey on the use of access permission-based specifications for program verification
inferred← citeshttps://doi.org/10.1016/j.scico.2006.03.001openalex-snapshot
Modular invariants for layered object structures
inferred← citeshttps://doi.org/10.1016/j.scico.2008.04.001openalex-snapshot
Implicit ownership types for memory management
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.1016/j.scico.2014.07.011openalex-snapshot
Handles: Behavior-propagating first class references for dynamically-typed languages
inferred← citeshttps://doi.org/10.1017/s0956796806006125openalex-snapshot
Featherweight generic confinement
inferred← citeshttps://doi.org/10.1109/acsc.2000.824402openalex-snapshot
Conglomeration-realising alias protection
inferred← citeshttps://doi.org/10.1109/aswec.1998.730915openalex-snapshot
The ins and outs of objects
inferred← citeshttps://doi.org/10.1109/aswec.2013.30openalex-snapshot
OwnKit: Inferring Modularly Checkable Ownership Annotations for Java
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/icpc.2007.38openalex-snapshot
Tracking Objects to Detect Feature Dependencies
inferred← citeshttps://doi.org/10.1109/icpc.2009.5090027openalex-snapshot
Practical static analysis for inference of security-related program properties
inferred← citeshttps://doi.org/10.1109/icse.2007.61openalex-snapshot
Ownership and Immutability Inference for UML-Based Object Access Control
inferred← citeshttps://doi.org/10.1109/icse.2013.6606578openalex-snapshot
Detecting deadlock in programs with data-centric synchronization
inferred← citeshttps://doi.org/10.1109/icse.2013.6606620openalex-snapshot
Are your incoming aliases really necessary? Counting the cost of object ownership
inferred← citeshttps://doi.org/10.1109/icsme52107.2021.00020openalex-snapshot
A Method to Comprehend Feature Dependencies Based on Semi-Static Structures
inferred← citeshttps://doi.org/10.1109/icsme64153.2025.00107openalex-snapshot
JDala - A Simple Capability System for Java
inferred← citeshttps://doi.org/10.1109/isorc.2008.40openalex-snapshot
Memory Management for Real-Time Java: State of the Art
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/rtss.2006.9openalex-snapshot
An Emprical Evaluation of Memory Management Alternatives for Real-Time Java
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/sefm.2005.39openalex-snapshot
Safe concurrency for aggregate objects with invariants
inferred← citeshttps://doi.org/10.1109/sefm.2008.29openalex-snapshot
Laws of Object-Orientation with Reference Semantics
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.1109/tools.1999.809416openalex-snapshot
Natural Creation-a composite pattern for creating objects
inferred← citeshttps://doi.org/10.1109/tools.1999.809424openalex-snapshot
Object ownership for dynamic alias protection
inferred← citeshttps://doi.org/10.1109/tools.2000.848781openalex-snapshot
Iterators and encapsulation
inferred← citeshttps://doi.org/10.1109/tools.2000.891370openalex-snapshot
Scalable visualisations with ownership trees
inferred← citeshttps://doi.org/10.1109/tse.2024.3443624openalex-snapshot
rCanary: Detecting Memory Leaks Across Semi-Automated Memory Management Boundary in Rust
inferred← citeshttps://doi.org/10.1109/vl.2000.874383openalex-snapshot
Visualising the structure of object-oriented systems
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/1060710.1060716openalex-snapshot
Scale-free geometry in OO programs
inferred← citeshttps://doi.org/10.1145/1101908.1101922openalex-snapshot
Precise identification of composition relationships for UML class diagrams
inferred← citeshttps://doi.org/10.1145/1111037.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/1118537.1123066openalex-snapshot
A specification-based approach to reasoning about pointers
inferred← citeshttps://doi.org/10.1145/1134285.1134321openalex-snapshot
Static detection of leaks in polymorphic containers
inferred← citeshttps://doi.org/10.1145/1138912.1138924openalex-snapshot
A dynamic analysis for revealing object ownership and sharing
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/1173706.1173740openalex-snapshot
Roadmap for enhanced languages and methods to aid verification
inferred← citeshttps://doi.org/10.1145/1181195.1181207openalex-snapshot
Simplifying reasoning about objects with Tako
inferred← citeshttps://doi.org/10.1145/1251535.1251540openalex-snapshot
Light context-sensitive points-to analysis for java
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.1297061openalex-snapshot
Ownership transfer in universe types
inferred← citeshttps://doi.org/10.1145/1297081.1297090openalex-snapshot
Dynamic ownership in a dynamic language
inferred← citeshttps://doi.org/10.1145/1297105.1297061openalex-snapshot
Ownership transfer in universe types
inferred← citeshttps://doi.org/10.1145/1321631.1321649openalex-snapshot
Combined static and dynamic mutability analysis
inferred← citeshttps://doi.org/10.1145/1562154.1562163openalex-snapshot
Comparing universes and existential ownership types
inferred← citeshttps://doi.org/10.1145/1707790.1707794openalex-snapshot
Modular reasoning about invariants over shared state with interposed data members
inferred← citeshttps://doi.org/10.1145/1869459.1869509openalex-snapshot
Ownership and immutability in generic Java
inferred← citeshttps://doi.org/10.1145/1985793.1985915openalex-snapshot
Permission-based programming languages (NIER track)
inferred← citeshttps://doi.org/10.1145/2049706.2049709openalex-snapshot
Separating ownership topology and encapsulation with generic universe types
inferred← citeshttps://doi.org/10.1145/2103621.2103671openalex-snapshot
Access permission contracts for scripting languages
inferred← citeshttps://doi.org/10.1145/2103621.2103722openalex-snapshot
A type system for borrowing permissions
inferred← citeshttps://doi.org/10.1145/2103656.2103671openalex-snapshot
Access permission contracts for scripting languages
inferred← citeshttps://doi.org/10.1145/2160910.2160913openalex-snapshot
A data-centric approach to synchronization
inferred← citeshttps://doi.org/10.1145/2384577.2384589openalex-snapshot
Ownership, filters and crossing handlers
inferred← citeshttps://doi.org/10.1145/2480360.2384589openalex-snapshot
Ownership, filters and crossing handlers
inferred← citeshttps://doi.org/10.1145/2766446openalex-snapshot
Behavioral Subtyping, Specification Inheritance, and Modular Reasoning
inferred← citeshttps://doi.org/10.1145/2814270.2814280openalex-snapshot
Disjointness domains for fine-grained aliasing
inferred← citeshttps://doi.org/10.1145/2816707.2816721openalex-snapshot
Access control to reflection with object ownership
inferred← citeshttps://doi.org/10.1145/286936.286947openalex-snapshot
Ownership types for flexible alias protection
inferred← citeshttps://doi.org/10.1145/2884781.2884798openalex-snapshot
Exploring language support for immutability
inferred← citeshttps://doi.org/10.1145/2889443.2889444openalex-snapshot
On ordering problems in message passing software
inferred← citeshttps://doi.org/10.1145/2892208.2892225openalex-snapshot
Restrictification of function arguments
inferred← citeshttps://doi.org/10.1145/2983990.2984009openalex-snapshot
Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect
inferred← citeshttps://doi.org/10.1145/2983990.2984042openalex-snapshot
LaCasa: lightweight affinity and object capabilities in Scala
inferred← citeshttps://doi.org/10.1145/3017680.3017777openalex-snapshot
Assessing and Teaching Scope, Mutation, and Aliasing in Upper-Level Undergraduates
inferred← citeshttps://doi.org/10.1145/3443420openalex-snapshot
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust
inferred← citeshttps://doi.org/10.1145/3485516openalex-snapshot
Reachability types: tracking aliasing and separation in higher-order functional programs
inferred← citeshttps://doi.org/10.1145/3527635openalex-snapshot
Containerless Plurals: Separating Number from Type in Object-Oriented Programming
inferred← citeshttps://doi.org/10.1145/353171.353173openalex-snapshot
Exclusion for composite objects
inferred← citeshttps://doi.org/10.1145/3563317openalex-snapshot
Necessity specifications for robustness
inferred← citeshttps://doi.org/10.1145/3622758openalex-snapshot
Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
inferred← citeshttps://doi.org/10.1145/3622758.3622885openalex-snapshot
programmingLanguage as Language;
inferred← citeshttps://doi.org/10.1145/3622813openalex-snapshot
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
inferred← citeshttps://doi.org/10.1145/3622846openalex-snapshot
Reference Capabilities for Flexible Memory Management
inferred← citeshttps://doi.org/10.1145/3632856openalex-snapshot
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
inferred← citeshttps://doi.org/10.1145/3678721.3686228openalex-snapshot
Dafny vs. Dala: Experience with Mechanising Language Design
inferred← citeshttps://doi.org/10.1145/3763112openalex-snapshot
What’s in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures
inferred← citeshttps://doi.org/10.1145/3763116openalex-snapshot
Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory
inferred← citeshttps://doi.org/10.1145/3808352openalex-snapshot
Dynamically Checked Deep Immutability in Python
inferred← citeshttps://doi.org/10.1145/3811921openalex-snapshot
A Typed Intermediate Representation for Dynamic Languages
inferred← citeshttps://doi.org/10.1145/3849492openalex-snapshot
Kukicha -- Efficient Yet Powerful Refinement Types for Object-Oriented Languages
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.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.582447openalex-snapshot
Ownership, encapsulation and the disjointness of type and effect
inferred← citeshttps://doi.org/10.1145/780822.781150openalex-snapshot
A practical flow-sensitive and context-sensitive C and C++ memory leak detector
showing the first 200 of 255 · page through all 255
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.