On the public citation graph
Object-oriented programming versus abstract data types
0 signed · 136 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-12328-8openalex-snapshot
The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983
inferredcites →https://doi.org/10.1007/3-540-13346-1_2openalex-snapshot
A semantics of multiple inheritance
inferredcites →https://doi.org/10.1007/978-1-4612-6315-9_22openalex-snapshot
User-Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction
inferredcites →https://doi.org/10.1007/978-3-642-69962-7openalex-snapshot
Fundamentals of Algebraic Specification 1
inferredcites →https://doi.org/10.1016/0004-3702(85)90087-6openalex-snapshot
Structure and interpretation of computer programs
inferredcites →https://doi.org/10.1016/0743-1066(84)90004-9openalex-snapshot
Equality, types, modules, and (why not?) generics for logic programming
inferredcites →https://doi.org/10.1016/0890-5401(88)90007-7openalex-snapshot
A semantics of multiple inheritance
inferredcites →https://doi.org/10.1109/lics.1989.39162openalex-snapshot
Type inference for record concatenation and multiple inheritance
inferredcites →https://doi.org/10.1145/318593.318606openalex-snapshot
Abstract types have existential types
inferredcites →https://doi.org/10.1145/321992.321997openalex-snapshot
Initial Algebra Semantics and Continuous Algebras
inferredcites →https://doi.org/10.1145/355602.361309openalex-snapshot
A technique for software module specification with examples
inferredcites →https://doi.org/10.1145/359605.359618openalex-snapshot
Abstract data types and the development of data structures
inferredcites →https://doi.org/10.1145/361598.361623openalex-snapshot
On the criteria to be used in decomposing systems into modules
inferredcites →https://doi.org/10.1145/4472.4477openalex-snapshot
Procedures as persistent data objects
inferredcites →https://doi.org/10.1145/512644.512670openalex-snapshot
Using dependent types to express modular structure
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism
inferredcites →https://doi.org/10.1145/62058.62060openalex-snapshot
Type theories and object-oriented programmimg
inferredcites →https://doi.org/10.1145/62678.62720openalex-snapshot
Object-oriented programming in scheme
inferredcites →https://doi.org/10.1145/62678.62721openalex-snapshot
Objects as closures: abstract semantics of object-oriented languages
inferredcites →https://doi.org/10.1145/74877.74884openalex-snapshot
An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes
inferredcites →https://doi.org/10.1145/74877.74922openalex-snapshot
A denotational semantics of inheritance and its correctness
inferredcites →https://doi.org/10.1145/74877.74924openalex-snapshot
Interfaces for strongly-typed object-oriented programming
inferredcites →https://doi.org/10.1145/75277.75284openalex-snapshot
Type checking records and variants in a natural extension of ML
inferredcites →https://doi.org/10.1145/800233.807045openalex-snapshot
Programming with abstract data types
inferredcites →https://doi.org/10.1145/942572.807045openalex-snapshot
Programming with abstract data types
inferredcites →https://doi.org/10.1145/97945.97970openalex-snapshot
Reasoning about object-oriented programs that use subtypes
inferredcites →https://doi.org/10.1145/99370.99392openalex-snapshot
F-bounded polymorphism for object-oriented programming
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.1002/9781118180518.ch6openalex-snapshot
Service‐Oriented Architecture
inferred← citeshttps://doi.org/10.1006/inco.1999.2802openalex-snapshot
Basic Theory of F-Bounded Quantification
inferred← citeshttps://doi.org/10.1006/inco.2002.3103openalex-snapshot
Modular Statically Typed Multimethods
inferred← citeshttps://doi.org/10.1007/11531142_8openalex-snapshot
Evaluating Support for Features in Advanced Modularization Technologies
inferred← citeshttps://doi.org/10.1007/3-540-36208-8_13openalex-snapshot
Multiparadigm Programming with Object-Oriented Languages
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-48743-3_13openalex-snapshot
Modular Statically Typed Multimethods
inferred← citeshttps://doi.org/10.1007/3-540-60043-4_57openalex-snapshot
Mongruences and cofree coalgebras
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-1-4757-3851-3_6openalex-snapshot
Parametricity and Local Variables
inferred← citeshttps://doi.org/10.1007/978-3-030-32505-3_20openalex-snapshot
Solving the Expression Problem in C++, á la LMS
inferred← citeshttps://doi.org/10.1007/978-3-030-54997-8_24openalex-snapshot
Transformations for Generating Type Refinements
inferred← citeshttps://doi.org/10.1007/978-3-031-28311-6_2openalex-snapshot
The Paradigm of Object Orientation and Beyond
inferred← citeshttps://doi.org/10.1007/978-3-319-30526-4_38openalex-snapshot
Comparing Symmetries in Models and Simulations
inferred← citeshttps://doi.org/10.1007/978-3-319-40189-8_17openalex-snapshot
Types in Programming Languages, Between Modelling, Abstraction, and Correctness
inferred← citeshttps://doi.org/10.1007/978-3-319-89884-1_3openalex-snapshot
Dualizing Generalized Algebraic Data Types by Matrix Transposition
inferred← citeshttps://doi.org/10.1007/978-3-540-24851-4_6openalex-snapshot
The Expression Problem Revisited
inferred← citeshttps://doi.org/10.1007/978-3-540-30203-2_29openalex-snapshot
Derivations in Object-Oriented Graph Grammars
inferred← citeshttps://doi.org/10.1007/978-3-540-39866-0_6openalex-snapshot
Bending without Breaking: Making Software More Flexible
inferred← citeshttps://doi.org/10.1007/978-3-540-70594-9_8openalex-snapshot
Unfolding Abstract Datatypes
inferred← citeshttps://doi.org/10.1007/978-3-540-73589-2_14openalex-snapshot
Matching Objects with Patterns
inferred← citeshttps://doi.org/10.1007/978-3-642-03013-0_13openalex-snapshot
Modular Visitor Components
inferred← citeshttps://doi.org/10.1007/978-3-642-31057-7_2openalex-snapshot
Extensibility for the Masses
inferred← citeshttps://doi.org/10.1007/978-3-642-31057-7_3openalex-snapshot
Extensions during Software Evolution: Do Objects Meet Their Promise?
inferred← citeshttps://doi.org/10.1007/978-3-642-39038-8_2openalex-snapshot
Feature-Oriented Programming with Object Algebras
inferred← citeshttps://doi.org/10.1007/bf01178658openalex-snapshot
Specification and verification of object-oriented programs using supertype abstraction
inferred← citeshttps://doi.org/10.1007/bfb0035812openalex-snapshot
An experience using Jasminum — Formalization assisting with the design of user interfaces
inferred← citeshttps://doi.org/10.1007/bfb0053054openalex-snapshot
Type-safe compilation of covariant specialization: A practical case
inferred← citeshttps://doi.org/10.1007/bfb0053063openalex-snapshot
Inheritance and cofree constructions
inferred← citeshttps://doi.org/10.1007/bfb0054088openalex-snapshot
Synthesizing object-oriented and functional design to promote re-use
inferred← citeshttps://doi.org/10.1007/s00200-003-0129-1openalex-snapshot
An Object-oriented Interpretation of the EAT System
inferred← citeshttps://doi.org/10.1007/s10664-013-9298-0openalex-snapshot
Object-oriented software extensions in practice
inferred← citeshttps://doi.org/10.1016/0950-5849(94)90102-3openalex-snapshot
An annotated bibliography for object-oriented analysis and design
inferred← citeshttps://doi.org/10.1016/j.ecolmodel.2013.04.027openalex-snapshot
Bridging the gap between ecosystem modeling tools and geographic information systems: Driving a food web model with external spatial–temporal data
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.06.053openalex-snapshot
A Graph-based Semantics For Object-oriented Programming Constructs
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/s1571-0661(04)80799-0openalex-snapshot
Some Challenging Typing Issues in Object-Oriented Languages
inferred← citeshttps://doi.org/10.1017/s0956796800001490openalex-snapshot
A unifying type-theoretic framework for objects
inferred← citeshttps://doi.org/10.1109/icisct50599.2020.9351368openalex-snapshot
Formalization of Data Derivative Structures
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/splc.2007.31openalex-snapshot
Software Product Lines Approach in Enterprise System Development
inferred← citeshttps://doi.org/10.1111/1467-8659.00288openalex-snapshot
Programming Paradigms in an Object‐Oriented Multimedia Standard
inferred← citeshttps://doi.org/10.1145/1018203.1018207openalex-snapshot
Modular typechecking for hierarchically extensible datatypes and functions
inferred← citeshttps://doi.org/10.1145/1140335.1140353openalex-snapshot
A historic functional and object-oriented calculus
inferred← citeshttps://doi.org/10.1145/1159803.1159813openalex-snapshot
Recursive modules for programming
inferred← citeshttps://doi.org/10.1145/1190215.1190238openalex-snapshot
From implementation to theory in product synthesis
inferred← citeshttps://doi.org/10.1145/1480828.1480839openalex-snapshot
High-level problems in teaching undergraduate programming languages
inferred← citeshttps://doi.org/10.1145/158511.158653openalex-snapshot
Object-oriented programming without recursive types
inferred← citeshttps://doi.org/10.1145/1639949.1640133openalex-snapshot
On understanding data abstraction, revisited
inferred← citeshttps://doi.org/10.1145/1640089.1640133openalex-snapshot
On understanding data abstraction, revisited
inferred← citeshttps://doi.org/10.1145/1745312.1745316openalex-snapshot
A calculus for uniform feature composition
inferred← citeshttps://doi.org/10.1145/1753196.1753227openalex-snapshot
Patterns for ADT optimisation
inferred← citeshttps://doi.org/10.1145/191080.191083openalex-snapshot
Typechecking and modules for multi-methods
inferred← citeshttps://doi.org/10.1145/210346.210425openalex-snapshot
Parametricity and local variables
inferred← citeshttps://doi.org/10.1145/218570.218571openalex-snapshot
Typechecking and modules for multimethods
inferred← citeshttps://doi.org/10.1145/2384616.2384686openalex-snapshot
Open and efficient type switch for C++
inferred← citeshttps://doi.org/10.1145/242224.242480openalex-snapshot
Software evolution and integration
inferred← citeshttps://doi.org/10.1145/2430502.2430518openalex-snapshot
Feature-oriented language families
inferred← citeshttps://doi.org/10.1145/253228.253238openalex-snapshot
An object-oriented modeling method for algebraic specifications in CafeOBJ
inferred← citeshttps://doi.org/10.1145/2784731.2784763openalex-snapshot
Automatic refunctionalization to a language with copattern matching: with applications to the expression problem
inferred← citeshttps://doi.org/10.1145/2786555.2786556openalex-snapshot
The Expression Problem, Gracefully
inferred← citeshttps://doi.org/10.1145/2858949.2784763openalex-snapshot
Automatic refunctionalization to a language with copattern matching: with applications to the expression problem
inferred← citeshttps://doi.org/10.1145/286936.286977openalex-snapshot
Multiple dispatch as dispatch on Tuples
inferred← citeshttps://doi.org/10.1145/2889443.2889448openalex-snapshot
The expression problem, trivially!
inferred← citeshttps://doi.org/10.1145/289423.289432openalex-snapshot
Modular object-oriented programming with units and mixins
inferred← citeshttps://doi.org/10.1145/306198.306206openalex-snapshot
Polymorphism, objects and abstract types
inferred← citeshttps://doi.org/10.1145/307824.307881openalex-snapshot
Functional programming and the fragile base class problem
inferred← citeshttps://doi.org/10.1145/3131851.3131860openalex-snapshot
Function definitions for compound values in object-oriented languages
inferred← citeshttps://doi.org/10.1145/3357766.3359545openalex-snapshot
Developing a monadic type checker for an object-oriented language: an experience report
inferred← citeshttps://doi.org/10.1145/3426425.3426933openalex-snapshot
Software language engineers’ worst nightmare
inferred← citeshttps://doi.org/10.1145/3564719.3568697openalex-snapshot
Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
inferred← citeshttps://doi.org/10.1145/3649846openalex-snapshot
Deriving Dependently-Typed OOP from First Principles
inferred← citeshttps://doi.org/10.1145/507635.507665openalex-snapshot
Extensible algebraic datatypes with defaults
inferred← citeshttps://doi.org/10.1145/581478.581489openalex-snapshot
Modular typechecking for hierarchically extensible datatypes and functions
inferred← citeshttps://doi.org/10.1145/583852.581489openalex-snapshot
Modular typechecking for hierarchically extensible datatypes and functions
inferred← citeshttps://doi.org/10.13140/rg.2.2.11522.20166openalex-snapshot
Object-Oriented Graph Grammars
inferred← citeshttps://doi.org/10.14264/47655d0openalex-snapshot
An object-oriented approach to formal specification
inferred← citeshttps://doi.org/10.15439/2019f61openalex-snapshot
Composition of Languages Embedded in Scala
inferred← citeshttps://doi.org/10.15760/etd.1010openalex-snapshot
Type Classes and Instance Chains: A Relational Approach
inferred← citeshttps://doi.org/10.1631/fitee.1500083openalex-snapshot
Generating native user interfaces for multiple devices by means of model transformation
inferred← citeshttps://doi.org/10.21236/ada605048openalex-snapshot
Type-Safe Compilation of Covariant Specialization: A Practical Case
inferred← citeshttps://doi.org/10.29007/k919openalex-snapshot
Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage
inferred← citeshttps://doi.org/10.31274/rtd-20201118-102openalex-snapshot
MultiJava: design, implementation, and evaluation of a Java-compatible language supporting modular open classes and symmetric multiple dispatch
inferred← citeshttps://doi.org/10.5075/epfl-thesis-2930openalex-snapshot
Programming language abstractions for extensible software components
inferred← citeshttps://doi.org/10.5381/jot.2002.1.2.c4openalex-snapshot
The Theory of Classification, Part 2: The Scratch-Built Typechecker.
inferred← citeshttps://doi.org/10.5381/jot.2002.1.4.c4openalex-snapshot
The Theory of Classification, Part 3: Object Encoding and Recursion.
inferred← citeshttps://doi.org/10.5753/sblp.2024.3689openalex-snapshot
The expression problem in platform-aware programming
inferred← citeshttps://doi.org/10.7146/dpb.v29i549.7654openalex-snapshot
gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance
inferred← citeshttps://doi.org/10.7275/6056894.0openalex-snapshot
Subtyping with Generics: A Unified Approach
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.