On the public citation graph
Designing an object-oriented programming language with behavioural subtyping
0 signed · 168 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_22openalex-snapshot
Inheritance and Subtyping in a Parallel Object-Oriented Language
inferredcites →https://doi.org/10.1007/bf00289507openalex-snapshot
Proof of correctness of data representations
inferredcites →https://doi.org/10.1007/bf01887214openalex-snapshot
Issues in the design of a parallel object-oriented language
inferredcites →https://doi.org/10.1016/0890-5401(88)90007-7openalex-snapshot
A semantics of multiple inheritance
inferredcites →https://doi.org/10.1016/0890-5401(88)90009-0openalex-snapshot
Polymorphic type inference and containment
inferredcites →https://doi.org/10.1145/28697.28702openalex-snapshot
Encapsulation and inheritance in object-oriented programming languages
inferredcites →https://doi.org/10.1145/365813.365819openalex-snapshot
SIMULA: an ALGOL-based simulation language
inferredcites →https://doi.org/10.1145/960112.28702openalex-snapshot
Encapsulation and inheritance in object-oriented programming languages
inferredcites →https://doi.org/10.1145/97945.97966openalex-snapshot
A parallel object-oriented language with inheritance and subtyping
inferredcites →https://doi.org/10.1609/aimag.v6i4.508openalex-snapshot
Object-oriented programming: Themes and variations
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/inco.2001.2927openalex-snapshot
Objects and Classes in Algol-Like Languages
inferred← citeshttps://doi.org/10.1007/0-306-47003-9_21openalex-snapshot
Patterns and Rules for Behavioural Subtyping
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-40911-4_21openalex-snapshot
Behavioral Conformance Verification in an Integrated Approach Using UML and B
inferred← citeshttps://doi.org/10.1007/3-540-45251-6_3openalex-snapshot
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries
inferred← citeshttps://doi.org/10.1007/3-540-45314-8_21openalex-snapshot
A Logic for the Java Modeling Language JML
inferred← citeshttps://doi.org/10.1007/3-540-45397-0_4openalex-snapshot
CLOWN as a Testbed for Concurrent Object-Oriented Concepts
inferred← citeshttps://doi.org/10.1007/3-540-45397-0_7openalex-snapshot
CoOperative Objects: Principles, Use and Implementation
inferred← citeshttps://doi.org/10.1007/3-540-45442-x_11openalex-snapshot
Verification of Java’s AbstractCollection Class: A Case Study
inferred← citeshttps://doi.org/10.1007/3-540-45499-3_33openalex-snapshot
Behavioural Subtyping Relations for Object-Oriented Formalisms
inferred← citeshttps://doi.org/10.1007/3-540-45575-2_28openalex-snapshot
A Net-Based Multi-tier Behavior Inheritance Modelling Method
inferred← citeshttps://doi.org/10.1007/3-540-47910-4_8openalex-snapshot
A New Definition of the Subtype Relation
inferred← citeshttps://doi.org/10.1007/3-540-48068-4_4openalex-snapshot
The Challenge of Object Orientation for the Analysis of Concurrent Systems
inferred← citeshttps://doi.org/10.1007/3-540-48311-x_190openalex-snapshot
Decision Procedure for Temporal Logic of Concurrent Objects
inferred← citeshttps://doi.org/10.1007/3-540-56625-2_22openalex-snapshot
Modular reasoning in an object-oriented refinement calculus
inferred← citeshttps://doi.org/10.1007/3-540-57787-4_5openalex-snapshot
Graph-grammar semantics of a higher-order programming language for distributed systems
inferred← citeshttps://doi.org/10.1007/3-540-60271-2_124openalex-snapshot
Specifications and their use in defining subtypes
inferred← citeshttps://doi.org/10.1007/3-540-63533-5_5openalex-snapshot
Class refinement and interface refinement in object-oriented programs
inferred← citeshttps://doi.org/10.1007/3540634932_19openalex-snapshot
Making objects more knowledgeable
inferred← citeshttps://doi.org/10.1007/978-0-387-34882-7_12openalex-snapshot
AI-based Trading in Open Distributed Environments
inferred← citeshttps://doi.org/10.1007/978-0-387-34882-7_5openalex-snapshot
Interoperability of Distributed Platforms: a Compatibility Perspective
inferred← citeshttps://doi.org/10.1007/978-0-387-34947-3_28openalex-snapshot
A model for evolution of services in distributed systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35082-0_3openalex-snapshot
A type description language supporting interoperability in open distributed systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35261-9_22openalex-snapshot
Inheritance Anomaly — A Formal Treatment
inferred← citeshttps://doi.org/10.1007/978-0-387-35496-5_7openalex-snapshot
Checking Behavioural Subtypes Via Refinement
inferred← citeshttps://doi.org/10.1007/978-0-387-35520-7_11openalex-snapshot
Behavioural Subtyping and Property Preservation
inferred← citeshttps://doi.org/10.1007/978-0-585-27524-6_1openalex-snapshot
Exactness and Clarity in a Component-Based Specification Language
inferred← citeshttps://doi.org/10.1007/978-0-585-27524-6_8openalex-snapshot
An Overview of Larch/C++: Behavioral Specifications for C++ Modules
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_36openalex-snapshot
Abstract and Concrete Objects — An Algebraic Design Method for Object-Based Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_37openalex-snapshot
Towards an Algebraic Theory of Inheritance in Object Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-1-4471-3558-6_10openalex-snapshot
Preliminary Design of Larch/C++
inferred← citeshttps://doi.org/10.1007/978-1-4471-3577-7_21openalex-snapshot
Inheritance of Object Behavior — Consistent Extension of Object Life Cycles
inferred← citeshttps://doi.org/10.1007/978-1-4613-1437-0_5openalex-snapshot
Objects And Classes, Co-Algebraically
inferred← citeshttps://doi.org/10.1007/978-3-030-02928-9_2openalex-snapshot
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping
inferred← citeshttps://doi.org/10.1007/978-3-031-77019-7_19openalex-snapshot
History-Based Reasoning About Behavioral Subtyping
inferred← citeshttps://doi.org/10.1007/978-3-540-24851-4_17openalex-snapshot
Semantic Casts: Contracts and Structural Subtyping in a Nominal World
inferred← citeshttps://doi.org/10.1007/978-3-540-30477-7_28openalex-snapshot
A Relational Model for Object-Oriented Designs
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_11openalex-snapshot
How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_15openalex-snapshot
Specification and Inheritance in CSP-OZ
inferred← citeshttps://doi.org/10.1007/978-3-540-45070-2_12openalex-snapshot
Traits: Composable Units of Behaviour
inferred← citeshttps://doi.org/10.1007/978-3-540-45242-3_4openalex-snapshot
Evolution of Collective Object Behavior in Presence of Simultaneous Client-Specific Views
inferred← citeshttps://doi.org/10.1007/978-3-540-68237-0_6openalex-snapshot
Lazy Behavioral Subtyping
inferred← citeshttps://doi.org/10.1007/978-3-540-88564-1_11openalex-snapshot
Enhancing Semantic Web Services with Inheritance
inferred← citeshttps://doi.org/10.1007/978-3-642-00255-7_15openalex-snapshot
Incremental Reasoning for Multiple Inheritance
inferred← citeshttps://doi.org/10.1007/978-3-642-41202-8_2openalex-snapshot
Algebraic Laws for Process Subtyping
inferred← citeshttps://doi.org/10.1007/978-3-662-46734-3_1openalex-snapshot
Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective
inferred← citeshttps://doi.org/10.1007/978-81-322-1759-6_99openalex-snapshot
Incremental Composition of Dynamic Programs
inferred← citeshttps://doi.org/10.1007/978-94-017-0437-3_11openalex-snapshot
Deduction-Based Software Component Retrieval
inferred← citeshttps://doi.org/10.1007/978-981-10-2546-4_14openalex-snapshot
rCOS: A Refinement Calculus of Internetware Systems
inferred← citeshttps://doi.org/10.1007/bf01178658openalex-snapshot
Specification and verification of object-oriented programs using supertype abstraction
inferred← citeshttps://doi.org/10.1007/bf01211312openalex-snapshot
A layered semantics for a parallel object-oriented language
inferred← citeshttps://doi.org/10.1007/bf02948959openalex-snapshot
A pragmatic behavior subtyping relation based on both states and actions
inferred← citeshttps://doi.org/10.1007/bfb0014441openalex-snapshot
Dynamical behavior of object systems
inferred← citeshttps://doi.org/10.1007/bfb0019441openalex-snapshot
A layered semantics for a parallel object-oriented language
inferred← citeshttps://doi.org/10.1007/bfb0023057openalex-snapshot
A debugging scheme for fine-grain threads on massively parallel processors with a small amount of log information —Replay and race detection—
inferred← citeshttps://doi.org/10.1007/bfb0053590openalex-snapshot
Constructs, concepts and criteria for reuse in concurrent object-oriented languages
inferred← citeshttps://doi.org/10.1007/bfb0054108openalex-snapshot
Classifying inheritance mechanisms in concurrent object-oriented programming
inferred← citeshttps://doi.org/10.1007/s00165-007-0026-7openalex-snapshot
Specification and verification challenges for sequential object-oriented programs
inferred← citeshttps://doi.org/10.1007/s00165-013-0278-3openalex-snapshot
Verifying traits: an incremental proof system for fine-grained reuse
inferred← citeshttps://doi.org/10.1007/s10270-014-0446-9openalex-snapshot
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
inferred← citeshttps://doi.org/10.1016/0950-5849(95)90929-oopenalex-snapshot
Type safety and behavioural inheritance
inferred← citeshttps://doi.org/10.1016/j.ipl.2004.09.004openalex-snapshot
Method redefinition—ensuring alternative behaviors
inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.11.004openalex-snapshot
A modular reasoning system using uninterpreted predicates for code reuse
inferred← citeshttps://doi.org/10.1016/j.jss.2019.01.044openalex-snapshot
Feature-oriented contract composition
inferred← citeshttps://doi.org/10.1016/j.scico.2004.05.015openalex-snapshot
How the design of JML accommodates both runtime assertion checking and formal verification
inferred← citeshttps://doi.org/10.1016/j.scico.2004.05.017openalex-snapshot
Specification and (property) inheritance in CSP-OZ
inferred← citeshttps://doi.org/10.1016/j.scico.2010.09.006openalex-snapshot
Incremental reasoning with lazy behavioral subtyping for multiple inheritance
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.07.034openalex-snapshot
rCOS: A refinement calculus of object systems
inferred← citeshttps://doi.org/10.1016/s0164-1212(03)00011-6openalex-snapshot
Formally based modeling and inheritance of behaviour in object-oriented systems
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)87172-1openalex-snapshot
The behavior-realization adjunction and generalized homomorphic relations
inferred← citeshttps://doi.org/10.1016/s1567-8326(00)00004-7openalex-snapshot
Inheritance of behavior
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00247-6openalex-snapshot
Jass — Java with Assertions1 1This work was partially funded by the German Research Council (DFG) under grant OL 98/3-1.
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80006-9openalex-snapshot
Weak Behavioral Subtyping for Types with Mutable Objects
inferred← citeshttps://doi.org/10.1023/a:1024764232069openalex-snapshot
Behavioral Subtyping Relations for Active Objects
inferred← citeshttps://doi.org/10.1023/a:1025182201690openalex-snapshot
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
inferred← citeshttps://doi.org/10.1088/0967-1846/2/2/005openalex-snapshot
Synchronizing shared objects
inferred← citeshttps://doi.org/10.1088/0967-1846/4/4/001openalex-snapshot
Types and their management in open distributed systems
inferred← citeshttps://doi.org/10.1109/apsec.1994.465246openalex-snapshot
Formal definitions of behavioural compatibility for active and passive objects
inferred← citeshttps://doi.org/10.1109/edoc.1997.628349openalex-snapshot
Type management: a key to software reuse in open distributed systems
inferred← citeshttps://doi.org/10.1109/esem.2011.9openalex-snapshot
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software
inferred← citeshttps://doi.org/10.1109/eurmic.2001.952435openalex-snapshot
Trading for COTS components in open environments
inferred← citeshttps://doi.org/10.1109/hicss.2005.323openalex-snapshot
Inheritance in the Presence of Asynchronous Method Calls
inferred← citeshttps://doi.org/10.1109/icci.1993.315362openalex-snapshot
Structural and behavioral representations in Roget's International Thesaurus
inferred← citeshttps://doi.org/10.1109/icdp.1996.864215openalex-snapshot
A model for evolution of services in distributed systems
inferred← citeshttps://doi.org/10.1109/icse.2007.44openalex-snapshot
Information Hiding and Visibility in Interface Specifications
inferred← citeshttps://doi.org/10.1109/icse.2013.6606574openalex-snapshot
Automatic testing of sequential and concurrent substitutability
inferred← citeshttps://doi.org/10.1109/icsr.1998.685745openalex-snapshot
Inheritance: from code reuse to reasoning reuse
inferred← citeshttps://doi.org/10.1109/iv.2001.942080openalex-snapshot
Modeling and inheritance of behaviour in object-oriented systems
inferred← citeshttps://doi.org/10.1109/sdne.1996.502454openalex-snapshot
Understanding any IDL lesson one: DCE and CORBA
inferred← citeshttps://doi.org/10.1109/superc.1994.344268openalex-snapshot
Efficient parallel global garbage collection on massively parallel computers
inferred← citeshttps://doi.org/10.1109/tools.1998.711024openalex-snapshot
Weak subtyping-yet another notion of inheritance
inferred← citeshttps://doi.org/10.1109/tools.2000.848763openalex-snapshot
Extending CORBA interfaces with π-calculus for protocol compatibility
inferred← citeshttps://doi.org/10.1109/tools.2000.848775openalex-snapshot
A Simple Component Architecture Framework
inferred← citeshttps://doi.org/10.1109/tse.2014.2339829openalex-snapshot
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software
inferred← citeshttps://doi.org/10.1145/1297027.1297053openalex-snapshot
Modular verification of higher-order methods with mandatory calls specified by model programs
inferred← citeshttps://doi.org/10.1145/1297105.1297053openalex-snapshot
Modular verification of higher-order methods with mandatory calls specified by model programs
inferred← citeshttps://doi.org/10.1145/1328438.1328452openalex-snapshot
Enhancing modular OO verification with separation logic
inferred← citeshttps://doi.org/10.1145/162685.162705openalex-snapshot
Systematic concurrent object-oriented programming
inferred← citeshttps://doi.org/10.1145/165854.165863openalex-snapshot
Specifications and their use in defining subtypes
inferred← citeshttps://doi.org/10.1145/165854.165875openalex-snapshot
Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages
inferred← citeshttps://doi.org/10.1145/185084.185117openalex-snapshot
Inheritance of interface specifications (extended abstract)
inferred← citeshttps://doi.org/10.1145/185087.185117openalex-snapshot
Inheritance of interface specifications (extended abstract)
inferred← citeshttps://doi.org/10.1145/192218.192235openalex-snapshot
An algebraic theory of class specification
inferred← citeshttps://doi.org/10.1145/196092.195325openalex-snapshot
The Larch/Smalltalk interface specification language
inferred← citeshttps://doi.org/10.1145/197320.197383openalex-snapshot
A behavioral notion of subtyping
inferred← citeshttps://doi.org/10.1145/1985793.1985903openalex-snapshot
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language
inferred← citeshttps://doi.org/10.1145/217838.217861openalex-snapshot
Modular reasoning in the presence of subclassing
inferred← citeshttps://doi.org/10.1145/217839.217861openalex-snapshot
Modular reasoning in the presence of subclassing
inferred← citeshttps://doi.org/10.1145/219260.219264openalex-snapshot
Delegation versus concatenation or cloning is inheritance too
inferred← citeshttps://doi.org/10.1145/222124.222135openalex-snapshot
Specification matching of software components
inferred← citeshttps://doi.org/10.1145/2465449.2465466openalex-snapshot
Correctness of intrusive data structures using mixins
inferred← citeshttps://doi.org/10.1145/261640.261641openalex-snapshot
Specification matching of software components
inferred← citeshttps://doi.org/10.1145/2628136.2632855openalex-snapshot
Behavioral software contracts
inferred← citeshttps://doi.org/10.1145/2695664.2695916openalex-snapshot
Constructive extensibility of trustworthy component-based systems
inferred← citeshttps://doi.org/10.1145/2695664.2695938openalex-snapshot
The safety of dynamic mixin composition
inferred← citeshttps://doi.org/10.1145/2737166.2737171openalex-snapshot
Object-Oriented Component-Based Design using Behavioral Contracts
inferred← citeshttps://doi.org/10.1145/2766446openalex-snapshot
Behavioral Subtyping, Specification Inheritance, and Modular Reasoning
inferred← citeshttps://doi.org/10.1145/2814189.2814198openalex-snapshot
Panini: a concurrent programming model with modular reasoning
inferred← citeshttps://doi.org/10.1145/3510003.3510051openalex-snapshot
Decomposing convolutional neural networks into reusable and replaceable modules
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/503209.503240openalex-snapshot
Behavioral contracts and behavioral subtyping
inferred← citeshttps://doi.org/10.1145/504282.504283openalex-snapshot
Contract Soundness for object-oriented languages
inferred← citeshttps://doi.org/10.1145/504311.504283openalex-snapshot
Contract Soundness for object-oriented languages
inferred← citeshttps://doi.org/10.1145/504390.504406openalex-snapshot
Towards safe and efficient customization in distributed systems
inferred← citeshttps://doi.org/10.1145/602770.602790openalex-snapshot
Efficient parallel global garbage collection on massively parallel computers
inferred← citeshttps://doi.org/10.1587/transinf.e94.d.79openalex-snapshot
Checking Behavioral Compatibility between Objects by Extending the Methods Rule
inferred← citeshttps://doi.org/10.21236/ada259881openalex-snapshot
Family Values; A Semantic Notion of Subtyping,
inferred← citeshttps://doi.org/10.21236/ada367674openalex-snapshot
Behavioral Subtyping Using Invariants and Constraints
inferred← citeshttps://doi.org/10.22215/etd/2010-09638openalex-snapshot
Assessing the effectiveness of design contracts as test oracles in the detection of faults in concurrent object-oriented software
inferred← citeshttps://doi.org/10.31274/rtd-180813-10487openalex-snapshot
Behavioral subtyping in object-oriented languages
inferred← citeshttps://doi.org/10.31274/rtd-180813-16445openalex-snapshot
A design discipline and language features for modular reasoning in aspect-oriented programs
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.3929/ethz-a-007595467openalex-snapshot
Program analyses for automatic and precise error detection
inferred← citeshttps://doi.org/10.5220/0002525503400345openalex-snapshot
COCO: COMPOSITION MODEL AND COMPOSITION MODEL IMPLEMENTATION
inferred← citeshttps://doi.org/10.5555/227726.227772openalex-snapshot
Forcing behavioral subtyping through specification inheritance
inferred← citeshttps://doi.org/10.5555/2486788.2486826openalex-snapshot
Automatic testing of sequential and concurrent substitutability
inferred← citeshttps://doi.org/10.5555/602770.602790openalex-snapshot
Efficient parallel global garbage collection on massively parallel computers
inferred← citeshttps://doi.org/10.5555/951807.951837openalex-snapshot
A taxonomy of inheritance semantics
inferred← citeshttps://doi.org/10.5860/choice.43-4071aopenalex-snapshot
Software evolution with UML and XML
inferred← citeshttps://doi.org/10.70675/6ecd98efz22b8z4ccfzac25z976c3e1d5ec0openalex-snapshot
Contributions à la vérification de la sûreté de l'assemblage et à l'adaptation de composants réutilisables
inferred← citeshttps://doi.org/10.70675/bf2578bcz05ccz46c0z989az5e9f99f09b5fopenalex-snapshot
Interoperability between heterogeneous devices in an open environment for the implementation of co-simulation
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.