On the public citation graph
A study of the fragile base class problem
0 signed · 125 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-45910-3_4openalex-snapshot
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn’t Like
inferredcites →https://doi.org/10.1007/3-540-52559-9_60openalex-snapshot
Refinement calculus, part I: Sequential nondeterministic programs
inferredcites →https://doi.org/10.1007/3-540-56596-5_26openalex-snapshot
Predicate transformers and higher order logic
inferredcites →https://doi.org/10.1007/3-540-60117-1_8openalex-snapshot
Exploring summation and product operators in the refinement calculus
inferredcites →https://doi.org/10.1007/3-540-63533-5_5openalex-snapshot
Class refinement and interface refinement in object-oriented programs
inferredcites →https://doi.org/10.1007/bf00289507openalex-snapshot
Proof of correctness of data representations
inferredcites →https://doi.org/10.1007/bf01211554openalex-snapshot
Denotational semantics of an object-oriented programming language with explicit wrappers
inferredcites →https://doi.org/10.1016/0167-6423(87)90011-6openalex-snapshot
A theoretical basis for stepwise refinement and the programming calculus
inferredcites →https://doi.org/10.1016/0304-3975(91)90029-2openalex-snapshot
Data refinement of predicate transformers
inferredcites →https://doi.org/10.1109/hicss.1989.47997openalex-snapshot
Changing data representation in the refinement calculus
inferredcites →https://doi.org/10.1145/141936.141971openalex-snapshot
Issues in the design and specification of class libraries
inferredcites →https://doi.org/10.1145/141937.141971openalex-snapshot
Issues in the design and specification of class libraries
inferredcites →https://doi.org/10.1145/197320.197383openalex-snapshot
A behavioral notion of subtyping
inferredcites →https://doi.org/10.1145/217838.217861openalex-snapshot
Modular reasoning in the presence of subclassing
inferredcites →https://doi.org/10.1145/217839.217861openalex-snapshot
Modular reasoning in the presence of subclassing
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism
inferredcites →https://doi.org/10.1145/74877.74922openalex-snapshot
A denotational semantics of inheritance and its correctness
inferredcites →https://doi.org/10.1145/74878.74922openalex-snapshot
A denotational semantics of inheritance and its correctness
inferredcites →https://doi.org/10.1145/960112.28702openalex-snapshot
Encapsulation and inheritance in object-oriented programming languages
inferredcites →https://doi.org/10.2140/pjm.1955.5.285openalex-snapshot
A lattice-theoretical fixpoint theorem and its applications
inferredcites →https://doi.org/10.22028/d291-26464openalex-snapshot
Denotational semantics of an object oriented programming language with explicit wrappers
inferredcites →https://doi.org/10.7146/dpb.v18i284.6662openalex-snapshot
A Denotational Semantics af Inheritance and its Correctness
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11523277_6openalex-snapshot
AN APPLICATION-ORIENTED APPROACH FOR THE GENERATION OF SOC-BASED EMBEDDED SYSTEMS
inferred← citeshttps://doi.org/10.1007/11785477_28openalex-snapshot
Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts
inferred← citeshttps://doi.org/10.1007/3-540-36087-5_110openalex-snapshot
From Lens to Flow Structure
inferred← citeshttps://doi.org/10.1007/3-540-36557-5_18openalex-snapshot
Relational Database Support for Aspect-Oriented Programming
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-46000-4_18openalex-snapshot
Towards a Colimit-Based Semantics for Visual Programming
inferred← citeshttps://doi.org/10.1007/3-540-47853-1_3openalex-snapshot
Formal Techniques for Java Programs
inferred← citeshttps://doi.org/10.1007/3-540-49255-0_25openalex-snapshot
Consistent Extension of Components in Presence of Explicit Invariants
inferred← citeshttps://doi.org/10.1007/978-0-387-09680-3_25openalex-snapshot
On Traits and Types in a Java-like Setting
inferred← citeshttps://doi.org/10.1007/978-3-319-07317-0_6openalex-snapshot
Combining Monitoring with Run-Time Assertion Checking
inferred← citeshttps://doi.org/10.1007/978-3-319-33693-0_14openalex-snapshot
Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-24851-4_2openalex-snapshot
Composable Encapsulation Policies
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_17openalex-snapshot
Concurrent Object-Oriented Programs: From Specification to Code
inferred← citeshttps://doi.org/10.1007/978-3-540-68237-0_6openalex-snapshot
Lazy Behavioral Subtyping
inferred← citeshttps://doi.org/10.1007/978-3-642-04167-9_3openalex-snapshot
A Real-Time Extension of Creol for Modelling Biomedical Sensors
inferred← citeshttps://doi.org/10.1007/978-3-642-16086-8_10openalex-snapshot
Discovery of Stable Abstractions for Aspect-Oriented Composition in the Car Crash Management Domain
inferred← citeshttps://doi.org/10.1007/978-3-642-19718-5_14openalex-snapshot
Typing Local Control and State Using Flow Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-31057-7_25openalex-snapshot
Magda: A New Language for Modularity
inferred← citeshttps://doi.org/10.1007/978-3-642-58322-3_32openalex-snapshot
Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung
inferred← citeshttps://doi.org/10.1007/978-3-662-45234-9_21openalex-snapshot
Delta-Trait Programming of Software Product Lines
inferred← citeshttps://doi.org/10.1007/978-3-662-54494-5_25openalex-snapshot
A Unified and Formal Programming Model for Deltas and Traits
inferred← citeshttps://doi.org/10.1007/s001650070034openalex-snapshot
Class Refinement as Semantics of Correct Object Substitutability
inferred← citeshttps://doi.org/10.1007/s10009-012-0253-yopenalex-snapshot
Software diversity: state of the art and perspectives
inferred← citeshttps://doi.org/10.1007/s10664-015-9411-7openalex-snapshot
An exploratory study of api changes and usages based on apache and eclipse ecosystems
inferred← citeshttps://doi.org/10.1007/s10664-016-9448-2openalex-snapshot
Fragile base-class problem, problem?
inferred← citeshttps://doi.org/10.1016/j.infsof.2010.05.010openalex-snapshot
Generating a catalog of unanticipated schemas in class hierarchies using Formal Concept Analysis
inferred← citeshttps://doi.org/10.1016/j.scico.2004.11.004openalex-snapshot
Supporting software composition at the programming language level
inferred← citeshttps://doi.org/10.1016/j.scico.2004.11.005openalex-snapshot
A form-based meta-model for software composition
inferred← citeshttps://doi.org/10.1016/j.scico.2013.07.016openalex-snapshot
Implementing type-safe software product lines using parametric traits
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.07.031openalex-snapshot
Creol: A type-safe object-oriented model for distributed concurrent systems
inferred← citeshttps://doi.org/10.1016/s0140-6736(73)92790-6openalex-snapshot
FEDERAL REPUBLIC OF GERMANY
inferred← citeshttps://doi.org/10.1016/s0164-1212(02)00137-1openalex-snapshot
Anomaly-free component adaptation with class overriding
inferred← citeshttps://doi.org/10.1017/s0960129514000255openalex-snapshot
Observable interface behaviour and inheritance
inferred← citeshttps://doi.org/10.1023/b:sqjo.0000024109.11544.65openalex-snapshot
Editorial: Aspect-Oriented Technology and Software Quality
inferred← citeshttps://doi.org/10.1037/e525192013-013openalex-snapshot
Generating Embedded Systems Software using a Component Based Development Approach
inferred← citeshttps://doi.org/10.1109/32.879810openalex-snapshot
A weakest precondition semantics for refinement of object-oriented programs
inferred← citeshttps://doi.org/10.1109/acit49673.2020.9208936openalex-snapshot
Subsystem Inheritance and Composition in Complex Systems
inferred← citeshttps://doi.org/10.1109/compsac.2007.159openalex-snapshot
On Identifying Bug Patterns in Aspect-Oriented Programs
inferred← citeshttps://doi.org/10.1109/csmr.2004.1281404openalex-snapshot
Documenting maintenance tasks using maintenance patterns
inferred← citeshttps://doi.org/10.1109/etfa.2005.1612617openalex-snapshot
On the Automatic Generation of SoC-based Embedded Systems
inferred← citeshttps://doi.org/10.1109/icse.2017.52openalex-snapshot
Glacier: Transitive Class Immutability for Java
inferred← citeshttps://doi.org/10.1109/icsea.2009.46openalex-snapshot
Framework Characteristics - A Starting Point for Addressing Reuse Difficulties
inferred← citeshttps://doi.org/10.1109/icsm.2008.4658055openalex-snapshot
Non-invasive and non-scattered annotations for more robust pointcuts
inferred← citeshttps://doi.org/10.1109/icst.2013.45openalex-snapshot
Automated Detection of Test Fixture Strategies and Smells
inferred← citeshttps://doi.org/10.1109/iwpse.2003.1231209openalex-snapshot
Class refinement for software evolution
inferred← citeshttps://doi.org/10.1109/kse.2011.28openalex-snapshot
Design Issues in Concurrent Object-Oriented Languages and Observability
inferred← citeshttps://doi.org/10.1109/tools.1999.779001openalex-snapshot
Consistent extension of components in the presence of explicit invariants
inferred← citeshttps://doi.org/10.1109/tse.2008.43openalex-snapshot
Metrics for Measuring the Quality of Modularization of Large-Scale Object-Oriented Software
inferred← citeshttps://doi.org/10.1145/1052898.1052915openalex-snapshot
Distributing classes with woven concerns
inferred← citeshttps://doi.org/10.1145/1167473.1167514openalex-snapshot
The paradoxical success of aspect-oriented programming
inferred← citeshttps://doi.org/10.1145/1167515.1167514openalex-snapshot
The paradoxical success of aspect-oriented programming
inferred← citeshttps://doi.org/10.1145/1368088.1368147openalex-snapshot
Systematically refactoring inheritance to delegation in java
inferred← citeshttps://doi.org/10.1145/1449913.1449939openalex-snapshot
Practical refactoring-based framework upgrade
inferred← citeshttps://doi.org/10.1145/1767751.1767752openalex-snapshot
Types and modularity for implicit invocation with implicit announcement
inferred← citeshttps://doi.org/10.1145/1774088.1774530openalex-snapshot
Implementing software product lines using traits
inferred← citeshttps://doi.org/10.1145/2465449.2465466openalex-snapshot
Correctness of intrusive data structures using mixins
inferred← citeshttps://doi.org/10.1145/2568225.2568289openalex-snapshot
Feature maintenance with emergent interfaces
inferred← citeshttps://doi.org/10.1145/2687357.2687362openalex-snapshot
Multiple Inheritance in AgentSpeak(L)-Style Programming Languages
inferred← citeshttps://doi.org/10.1145/2723742.2723755openalex-snapshot
Measuring Inheritance Patterns in Object Oriented Systems
inferred← citeshttps://doi.org/10.1145/2824815.2824817openalex-snapshot
Objects as session-typed processes
inferred← citeshttps://doi.org/10.1145/2846696.2846702openalex-snapshot
Management of guided and unguided code generator customizations by using a symbol table
inferred← citeshttps://doi.org/10.1145/286936.286974openalex-snapshot
What is Java binary compatibility?
inferred← citeshttps://doi.org/10.1145/307824.307881openalex-snapshot
Functional programming and the fragile base class problem
inferred← citeshttps://doi.org/10.1145/3079368.3079412openalex-snapshot
Principles of Antifragile Software
inferred← citeshttps://doi.org/10.1145/3319008.3319023openalex-snapshot
An Analysis of Inheritance Hierarchy Evolution
inferred← citeshttps://doi.org/10.1145/353171.353186openalex-snapshot
Safely creating correct subclasses without seeing superclass code
inferred← citeshttps://doi.org/10.1145/354222.353186openalex-snapshot
Safely creating correct subclasses without seeing superclass code
inferred← citeshttps://doi.org/10.1145/3563835.3567668openalex-snapshot
Bridging the Syntax-Semantics Gap of Programming
inferred← citeshttps://doi.org/10.1145/367845.368062openalex-snapshot
Safely creating correct subclasses without seeing superclass code
inferred← citeshttps://doi.org/10.1145/3765518openalex-snapshot
Type-Safe Compilation of Dynamic Inheritance via Merging
inferred← citeshttps://doi.org/10.1145/512035.512041openalex-snapshot
Fostering component evolution with C# attributes
inferred← citeshttps://doi.org/10.13140/rg.2.1.4737.1366openalex-snapshot
Fragility of Evolving Software
inferred← citeshttps://doi.org/10.14279/depositonce-3887openalex-snapshot
Modularisierung und Wiederverwendung durch generische Klassen in Object Teams
inferred← citeshttps://doi.org/10.14393/ufu.di.2019.2040openalex-snapshot
Firmware em Rust: estratégias de implementação e modelos de programação confiáveis visando aplicações concorrentes em tempo real
inferred← citeshttps://doi.org/10.15368/theses.2009.64openalex-snapshot
JDiet: Footprint Reduction for Memory-constrained Systems
inferred← citeshttps://doi.org/10.21941/kcss/2024/1openalex-snapshot
Language Design for Reactive Systems
inferred← citeshttps://doi.org/10.26686/wgtn.16998703openalex-snapshot
Using Clustering Techniques to Guide Refactoring of Object-Oriented Classes
inferred← citeshttps://doi.org/10.26686/wgtn.16998703.v1openalex-snapshot
Using Clustering Techniques to Guide Refactoring of Object-Oriented Classes
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.3233/fun-2000-441-202openalex-snapshot
A Foundation for Refining Concurrent Objects
inferred← citeshttps://doi.org/10.3844/jcssp.2016.314.322openalex-snapshot
Abstract Interpretation of Java Bytecode for Immutability Analysis
inferred← citeshttps://doi.org/10.48550/arxiv.1509.04207openalex-snapshot
DeltaImpactFinder: Assessing Semantic Merge Conflicts with Dependency Analysis
inferred← citeshttps://doi.org/10.48550/arxiv.1909.03523openalex-snapshot
Obsidian: Typestate and Assets for Safer Blockchain Programming
inferred← citeshttps://doi.org/10.48550/arxiv.2006.07193openalex-snapshot
A Proposal for a Revision of ISO Modula-2
inferred← citeshttps://doi.org/10.48550/arxiv.2110.03806openalex-snapshot
Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load
inferred← citeshttps://doi.org/10.5381/jot.2007.6.9.a11openalex-snapshot
Hygienic methods — Introducing HygJava.
inferred← citeshttps://doi.org/10.70675/f2bc75a3z2609z4292z9e0dz8f01820bf242openalex-snapshot
Supporting integration activities in object-oriented applications
inferred← citeshttps://doi.org/10.7301/z0h993gropenalex-snapshot
Semantics and Types for Safe Web Programming
inferred← citeshttps://doi.org/10.7892/boris.104376openalex-snapshot
High Level Views in Object-Oriented Systems using Formal Concept Analysis
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.