On the public citation graph

A statically safe alternative to virtual types

https://doi.org/10.1007/bfb0054106
0 signed · 164 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.1002/(sici)1096-9942(1998)4:1<27::aid-tapo3>3.0.co;2-4openalex-snapshot
Objective ML: An effective object-oriented extension to ML
inferredcites →https://doi.org/10.1002/j.1096-9942.1995.tb00019.xopenalex-snapshot
On Binary Methods
inferredcites →https://doi.org/10.1007/3-540-06859-7_148openalex-snapshot
Towards a theory of type structure
inferredcites →https://doi.org/10.1007/3-540-49538-x_3openalex-snapshot
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
inferredcites →https://doi.org/10.1007/bfb0053376openalex-snapshot
Subtyping is not a good “match” for object-oriented languages
inferredcites →https://doi.org/10.1007/bfb0053390openalex-snapshot
Genericity in java with virtual types
inferredcites →https://doi.org/10.1017/s0956796800001039openalex-snapshot
A paradigmatic object-oriented programming language: Design, static typing and semantics
inferredcites →https://doi.org/10.1109/icsr.1998.685724openalex-snapshot
Leftover curry and reheated Pizza: how functional programming nourishes software reuse
inferredcites →https://doi.org/10.1145/263698.263720openalex-snapshot
Adding type parameterization to the Java language
inferredcites →https://doi.org/10.1145/263699.263714openalex-snapshot
Parameterized types for Java
inferredcites →https://doi.org/10.1145/263699.263715openalex-snapshot
Pizza into Java
inferredcites →https://doi.org/10.1145/567067.567094openalex-snapshot
Abstraction mechanisms in the BETA programming language
inferredcites →https://doi.org/10.1145/99370.99392openalex-snapshot
F-bounded polymorphism for object-oriented programming
inferredcites →https://doi.org/10.7146/dpb.v18i283.6660openalex-snapshot
Virtual Classes - a powerful mechanism in object-oriented programming

What points at this work

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

inferred← citeshttps://doi.org/10.1007/10722581_2openalex-snapshot
Composable Message Semantics in Oberon
inferred← citeshttps://doi.org/10.1007/10722581_3openalex-snapshot
Derivation of Secure Parallel Applications by Means of Module Embedding
inferred← citeshttps://doi.org/10.1007/10722581_9openalex-snapshot
Stand-Alone Messages
inferred← citeshttps://doi.org/10.1007/11415787_15openalex-snapshot
A Rigorous Foundation for Pattern-Based Design Models
inferred← citeshttps://doi.org/10.1007/11560647_33openalex-snapshot
Implementing Application-Specific Object-Oriented Theories in HOL
inferred← citeshttps://doi.org/10.1007/11560647_34openalex-snapshot
Constructing Open Systems via Consistent Components
inferred← citeshttps://doi.org/10.1007/11561347_2openalex-snapshot
abc: The AspectBench Compiler for AspectJ
inferred← citeshttps://doi.org/10.1007/11575467_12openalex-snapshot
Lightweight Family Polymorphism
inferred← citeshttps://doi.org/10.1007/11581741_7openalex-snapshot
An MDA Approach for Adaptable Components
inferred← citeshttps://doi.org/10.1007/11773887_26openalex-snapshot
Transformation of Centralized Software Components into Distributed Ones by Code Refactoring
inferred← citeshttps://doi.org/10.1007/11780991_17openalex-snapshot
Analyzing Object-Oriented Design Patterns from an Object-Process Viewpoint
inferred← citeshttps://doi.org/10.1007/11785477_21openalex-snapshot
Parameterized Modules for Classes and Extensible Functions
inferred← citeshttps://doi.org/10.1007/11821069_1openalex-snapshot
A Core Calculus for Scala Type Checking
inferred← citeshttps://doi.org/10.1007/11821946_13openalex-snapshot
General Composition of Software Artifacts
inferred← citeshttps://doi.org/10.1007/11837787_3openalex-snapshot
Composition of Rule Sets and Ontologies
inferred← citeshttps://doi.org/10.1007/11860990_10openalex-snapshot
Flexible Type-Safe Linking of Components for Java-Like Languages
inferred← citeshttps://doi.org/10.1007/11860990_14openalex-snapshot
MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language
inferred← citeshttps://doi.org/10.1007/11860990_5openalex-snapshot
Reconciling Virtual Classes with Genericity
inferred← citeshttps://doi.org/10.1007/11877028_3openalex-snapshot
Program Transformation with Reflection and Aspect-Oriented Programming
inferred← citeshttps://doi.org/10.1007/11901433_31openalex-snapshot
A Tool for a Formal Pattern Modeling Language
inferred← citeshttps://doi.org/10.1007/11921998_12openalex-snapshot
Traveling Architects – A New Way of Herding Cats
inferred← citeshttps://doi.org/10.1007/11922827_4openalex-snapshot
Aspect-Oriented Development of Crosscutting Features in Distributed, Heterogeneous Systems
inferred← citeshttps://doi.org/10.1007/3-540-34518-3_9openalex-snapshot
Ontologies, Meta-models, and the Model-Driven Paradigm
inferred← citeshttps://doi.org/10.1007/3-540-44978-7_14openalex-snapshot
Dynamic Partial Evaluation
inferred← citeshttps://doi.org/10.1007/3-540-45337-7_14openalex-snapshot
Reflections on MOP s, Components, and Java Security
inferred← citeshttps://doi.org/10.1007/3-540-45337-7_17openalex-snapshot
Family Polymorphism
inferred← citeshttps://doi.org/10.1007/3-540-45699-6_7openalex-snapshot
An Introduction to Functional Nets
inferred← citeshttps://doi.org/10.1007/3-540-45699-6_9openalex-snapshot
Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa
inferred← citeshttps://doi.org/10.1007/3-540-47993-7_19openalex-snapshot
On Variance-Based Subtyping for Parametric Types
inferred← citeshttps://doi.org/10.1007/3-540-47993-7_4openalex-snapshot
Dynamically Composable Collaborations with Delegation Layers
inferred← citeshttps://doi.org/10.1007/3-540-48743-3_4openalex-snapshot
Propagating Class and Method Combination
inferred← citeshttps://doi.org/10.1007/3-540-48743-3_8openalex-snapshot
Foundations for Virtual Types
inferred← citeshttps://doi.org/10.1007/3-540-48743-3_9openalex-snapshot
Unifying Genericity
inferred← citeshttps://doi.org/10.1007/978-1-4615-0413-9_2openalex-snapshot
A Stratification of Class Family Dependencies
inferred← citeshttps://doi.org/10.1007/978-3-319-03077-7_13openalex-snapshot
Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors
inferred← citeshttps://doi.org/10.1007/978-3-319-03783-7_13openalex-snapshot
Use of Multi-agent Based Platform for Providing Document-Centric Interoperability in the Realm of E-government
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-07863-2_54openalex-snapshot
Switching the Level of Abstraction in Digital Exhibitions to Provide an Understanding of Mechanisms
inferred← citeshttps://doi.org/10.1007/978-3-319-12736-1_6openalex-snapshot
Types for Flexible Objects
inferred← citeshttps://doi.org/10.1007/978-3-540-24614-5_17openalex-snapshot
Dynamic Service Adaptation for Runtime System Extensions
inferred← citeshttps://doi.org/10.1007/978-3-540-24769-2_5openalex-snapshot
Software Architecture Evolution through Dynamic AOP
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-25935-0_4openalex-snapshot
DSL Implementation in MetaOCaml, Template Haskell, and C++
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_6openalex-snapshot
A Personal Outlook on Generator Research
inferred← citeshttps://doi.org/10.1007/978-3-540-25958-9_4openalex-snapshot
An Overview of the Virtuosi Toolkit
inferred← citeshttps://doi.org/10.1007/978-3-540-25975-6_23openalex-snapshot
A Combined Runtime Environment and Web-Based Development Environment for Web Application Engineering
inferred← citeshttps://doi.org/10.1007/978-3-540-27799-6_10openalex-snapshot
Aspects for Synthesizing Applications by Refinement
inferred← citeshttps://doi.org/10.1007/978-3-540-27811-5_20openalex-snapshot
Language Bindings for Spatio-Temporal Database Programming in Tripod
inferred← citeshttps://doi.org/10.1007/978-3-540-30469-2_28openalex-snapshot
TRAP/J: Transparent Generation of Adaptable Java Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-30477-7_27openalex-snapshot
McJava – A Design and Implementation of Java with Mixin-Types
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-39762-5_35openalex-snapshot
Power Estimation Approach of Dynamic Data Storage on a Hardware Software Boundary Level
inferred← citeshttps://doi.org/10.1007/978-3-540-39864-6_13openalex-snapshot
On Implementing High Level Concurrency in Java
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-40042-4_3openalex-snapshot
Extensible Objects: A Tutorial
inferred← citeshttps://doi.org/10.1007/978-3-540-44995-9_22openalex-snapshot
Constructional Design Patterns as Reusable Components
inferred← citeshttps://doi.org/10.1007/978-3-540-44995-9_9openalex-snapshot
Implementing Product-Line Features with Component Reuse
inferred← citeshttps://doi.org/10.1007/978-3-540-45070-2_10openalex-snapshot
A Nominal Theory of Objects with Dependent Types
inferred← citeshttps://doi.org/10.1007/978-3-540-45070-2_14openalex-snapshot
Higher-Order Hierarchies
inferred← citeshttps://doi.org/10.1007/978-3-540-45070-2_6openalex-snapshot
Walkabout Revisited: The Runabout
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-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-69073-3_26openalex-snapshot
ModHel’X: A Component-Oriented Approach to Multi-Formalism Modeling
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-69824-1_13openalex-snapshot
The Meta in Meta-object Architectures
inferred← citeshttps://doi.org/10.1007/978-3-540-70561-1_14openalex-snapshot
Refactoring-Based Adaptation of Adaptation Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-71156-8_2openalex-snapshot
Applying Service-Oriented Development to Complex Systems: BART Case Study
inferred← citeshttps://doi.org/10.1007/978-3-540-71836-9_3openalex-snapshot
Unanticipated Partial Behavioral Reflection
inferred← citeshttps://doi.org/10.1007/978-3-540-73589-2_17openalex-snapshot
JavaGI: Generalized Interfaces for Java
inferred← citeshttps://doi.org/10.1007/978-3-540-74792-5_11openalex-snapshot
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-540-75162-5_5openalex-snapshot
Visualizing Early Aspects with Use Case Maps
inferred← citeshttps://doi.org/10.1007/978-3-540-75542-5_8openalex-snapshot
Evaluating Collaboration Platforms for Offshore Software Development Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-540-76811-1_2openalex-snapshot
Flexible and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM)
inferred← citeshttps://doi.org/10.1007/978-3-540-77042-8_6openalex-snapshot
A Survey of Automated Code-Level Aspect Mining Techniques
inferred← citeshttps://doi.org/10.1007/978-3-540-78610-8_5openalex-snapshot
Programming Reconfigurable Decoupled Application Control Accelerator for Mobile Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-78789-1_12openalex-snapshot
Profile-Guided Composition
inferred← citeshttps://doi.org/10.1007/978-3-540-89275-5_6openalex-snapshot
Reflection for the Masses
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-00593-0_19openalex-snapshot
Formal Foundation for Pattern-Based Modelling
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_13openalex-snapshot
Modular Visitor Components
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-03013-0_23openalex-snapshot
Are We Ready for a Safer Construction Environment?
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-10672-9_12openalex-snapshot
Ownership Downgrading for Ownership Types
inferred← citeshttps://doi.org/10.1007/978-3-642-12107-4_5openalex-snapshot
Study of an API Migration for Two XML APIs
inferred← citeshttps://doi.org/10.1007/978-3-642-13054-0_10openalex-snapshot
Continuous Selective Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-13953-6_12openalex-snapshot
Domain-Specific Program Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-13953-6_13openalex-snapshot
Revisiting Parametric Types and Virtual Classes
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-14046-4_5openalex-snapshot
Predicated Generic Functions
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_41openalex-snapshot
Laws of Pattern Composition
inferred← citeshttps://doi.org/10.1007/978-3-642-16952-6_59openalex-snapshot
Controlling Search in Constrained-Object Models
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-27612-5_6openalex-snapshot
SC-CoJava: A Service Composition Language to Unify Simulation and Optimization of Supply Chains
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-30157-5_89openalex-snapshot
Partial Evaluation of Communicating Processes with Temporal Formulas and Its Application
inferred← citeshttps://doi.org/10.1007/978-3-642-31057-7_10openalex-snapshot
Object Initialization in X10
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_25openalex-snapshot
Magda: A New Language for Modularity
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-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-33675-1_49openalex-snapshot
Program Comprehension in Preprocessor-Based Software
inferred← citeshttps://doi.org/10.1007/978-3-642-34781-8_1openalex-snapshot
A Role-Based Language for Collaborative Robot Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-35551-6_6openalex-snapshot
First-Class Compositions
inferred← citeshttps://doi.org/10.1007/978-3-642-36632-1_2openalex-snapshot
Mapping Objective-C API to Java
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_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_2openalex-snapshot
Feature-Oriented Programming with Object Algebras
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-3-662-45234-9_21openalex-snapshot
Delta-Trait Programming of Software Product Lines
inferred← citeshttps://doi.org/10.1007/s10766-012-0226-5openalex-snapshot
UniTi: Unified Composition and Time for Multi-domain Model-based Design
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80066-5openalex-snapshot
Semantics-Driven Language Design:
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80777-1openalex-snapshot
Using kinds to type partially-polymorphic methods
inferred← citeshttps://doi.org/10.1109/icse.2001.919102openalex-snapshot
Comparing frameworks and layered refinement
inferred← citeshttps://doi.org/10.1109/icsr.1998.685724openalex-snapshot
Leftover curry and reheated Pizza: how functional programming nourishes software reuse
inferred← citeshttps://doi.org/10.1109/tools.2000.891369openalex-snapshot
Match-O, a dialect of Eiffel with match-types
inferred← citeshttps://doi.org/10.1145/1159861.1159875openalex-snapshot
An object-oriented approach to datatype-generic programming
inferred← citeshttps://doi.org/10.1145/1449764.1449798openalex-snapshot
Generics of a higher kind
inferred← citeshttps://doi.org/10.1145/1449955.1449798openalex-snapshot
Generics of a higher kind
inferred← citeshttps://doi.org/10.1145/1596655.1596666openalex-snapshot
Safer typing of complex API usage through Java generics
inferred← citeshttps://doi.org/10.1145/1869459.1869502openalex-snapshot
Homogeneous family sharing
inferred← citeshttps://doi.org/10.1145/1932682.1869502openalex-snapshot
Homogeneous family sharing
inferred← citeshttps://doi.org/10.1145/2451436.2451460openalex-snapshot
Method slots
inferred← citeshttps://doi.org/10.1145/3133894openalex-snapshot
Familia: unifying interfaces, type classes, and family polymorphism
inferred← citeshttps://doi.org/10.1145/3460228openalex-snapshot
Compositional Programming
inferred← citeshttps://doi.org/10.1145/508387.508395openalex-snapshot
Using mixins to build flexible widgets
inferred← citeshttps://doi.org/10.14393/ufu.di.2018.1147openalex-snapshot
Implementação e Avaliação do Protocolo de Difusão Atômica Rápida a Despeito de Colisões
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2019/3/12openalex-snapshot
Separating Use and Reuse to Improve Both
inferred← citeshttps://doi.org/10.26686/wgtn.17148098openalex-snapshot
Decidable Subtyping for Path Dependent Types
inferred← citeshttps://doi.org/10.26686/wgtn.17148098.v1openalex-snapshot
Decidable Subtyping for Path Dependent Types
inferred← citeshttps://doi.org/10.5381/jot.2004.3.11.a5openalex-snapshot
Adding Wildcards to the Java Programming Language.
inferred← citeshttps://doi.org/10.5381/jot.2008.7.5.a3openalex-snapshot
The Essence of Lightweight Family Polymorphism.
inferred← citeshttps://doi.org/10.5381/jot.2012.11.2.a1openalex-snapshot
DeepFJig — Modular composition of nested classes.
inferred← citeshttps://doi.org/10.5555/1929101.1929110openalex-snapshot
Flexible model element introduction policies for aspect-oriented modeling
inferred← citeshttps://doi.org/10.5555/2394101.2394119openalex-snapshot
Piecewise modelling with state subtypes
inferred← citeshttps://doi.org/10.5555/2394758.2394775openalex-snapshot
Validity invariants and effects
inferred← citeshttps://doi.org/10.5555/2394758.2394785openalex-snapshot
Morphing: safely shaping a class in the image of others
inferred← citeshttps://doi.org/10.5555/2394758.2394792openalex-snapshot
A machine model for aspect-oriented programming
inferred← citeshttps://doi.org/10.5555/954186.954198openalex-snapshot
A selective, just-in-time aspect weaver
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.7146/dpb.v34i577.7225openalex-snapshot
A Virtual Class Calculus
inferred← citeshttps://doi.org/10.7146/dpb.v35i578.7226openalex-snapshot
Family Genericity
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.