On the public citation graph

Object inheritance beyond subtyping

https://doi.org/10.1007/bf01178920
0 signed · 34 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-50701-9openalex-snapshot
Non-Monotonic Reasoning
inferredcites →https://doi.org/10.1007/3-540-52559-9_67openalex-snapshot
Algebraic implementation of objects over objects
inferredcites →https://doi.org/10.1007/3-540-55015-1_22openalex-snapshot
Semantics of inheritance In logical object specifications
inferredcites →https://doi.org/10.1007/3-540-55808-x_18openalex-snapshot
Object interaction
inferredcites →https://doi.org/10.1007/3-540-56379-2_34openalex-snapshot
Objects and their specification
inferredcites →https://doi.org/10.1007/3540539816_61openalex-snapshot
Formal specification of object systems
inferredcites →https://doi.org/10.1007/978-1-4471-3864-8_15openalex-snapshot
The Reification Dimension in Object-oriented Data Base Design
inferredcites →https://doi.org/10.1007/bf01214621openalex-snapshot
Progress assumption in concurrent systems
inferredcites →https://doi.org/10.1007/bfb0013026openalex-snapshot
An introduction to event structures
inferredcites →https://doi.org/10.1007/bfb0019445openalex-snapshot
A categorial theory of objects as observed processes
inferredcites →https://doi.org/10.1016/0001-8708(91)90045-9openalex-snapshot
Abstract and concrete categories
inferredcites →https://doi.org/10.1016/0011-684x(85)90032-2openalex-snapshot
The C programming language
inferredcites →https://doi.org/10.1016/0141-9331(86)90196-1openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1016/0167-6423(89)90034-8openalex-snapshot
Object-oriented software construction
inferredcites →https://doi.org/10.1016/0304-3975(84)90112-9openalex-snapshot
Synchronization trees
inferredcites →https://doi.org/10.1038/107522b0openalex-snapshot
Sources and Sinks
inferredcites →https://doi.org/10.1145/125223.125238openalex-snapshot
The O 2 system
inferredcites →https://doi.org/10.1145/125223.125254openalex-snapshot
The GemStone object database management system
inferredcites →https://doi.org/10.1145/323596.323601openalex-snapshot
A model and proof system for asynchronous networks
inferredcites →https://doi.org/10.1145/63320openalex-snapshot
Object-oriented concepts, databases, and applications
inferredcites →https://doi.org/10.1145/75277.75291openalex-snapshot
A fully abstract trace model for dataflow networks
inferredcites →https://doi.org/10.2307/2325048openalex-snapshot
Abstract and Concrete Categories.
inferredcites →https://doi.org/10.7146/dpb.v18i278.6655openalex-snapshot
An Introduction to Event Structures

What points at this work

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

inferred← citeshttps://doi.org/10.1002/j.1096-9942.1995.tb00004.xopenalex-snapshot
Towards Deductive Object Databases
inferred← citeshttps://doi.org/10.1007/3-540-48252-0_25openalex-snapshot
The Impact of Using Class Inheritance in a Distributed Information System
inferred← citeshttps://doi.org/10.1007/3-540-57182-5_30openalex-snapshot
Data encapsulation and modularity: Three views of inheritance
inferred← citeshttps://doi.org/10.1007/3-540-63792-3_22openalex-snapshot
Comparison of categorical foundations of object-oriented database model
inferred← citeshttps://doi.org/10.1007/978-0-585-27524-6_14openalex-snapshot
Architectural Specifications: Modeling and Structuring Behavior Through Rules
inferred← citeshttps://doi.org/10.1007/978-1-4471-0299-1_2openalex-snapshot
Behavioral compatibility in Concurrent Object Constructions
inferred← citeshttps://doi.org/10.1007/s002360050112openalex-snapshot
Applications of a categorical framework for conceptual data modeling
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80239-7openalex-snapshot
Nonsequential Automata Semantics for a Concurrent, Object-Based Language
inferred← citeshttps://doi.org/10.1093/comjnl/39.3.215openalex-snapshot
Conceptual Data Modelling from a Categorical Perspective
inferred← citeshttps://doi.org/10.1093/logcom/11.4.559openalex-snapshot
Composition of Default Specifications
inferred← citeshttps://doi.org/10.4028/www.scientific.net/amm.44-47.4131openalex-snapshot
Composing Multi-Resource Systems by Category Theory
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.