On the public citation graph

Foundations of Object-Oriented Languages

https://doi.org/10.1007/bfb0019438

0 signed · 39 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/bfb0019444openalex-snapshot

Object-oriented specification in LOTOS and Z, or my cat really is object-oriented!

inferredcites →https://doi.org/10.1007/bfb0019450openalex-snapshot

An actor-based metalevel architecture for group-wide reflection

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.1999.2802openalex-snapshot

Basic Theory of F-Bounded Quantification

inferred← citeshttps://doi.org/10.1006/inco.2001.2927openalex-snapshot

Objects and Classes in Algol-Like Languages

inferred← citeshttps://doi.org/10.1006/jvlc.2000.0192openalex-snapshot

Visual Programming of Concurrent Object-Oriented Systems

inferred← citeshttps://doi.org/10.1007/3-540-45711-9openalex-snapshot

Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg

inferred← citeshttps://doi.org/10.1007/3-540-55015-1_22openalex-snapshot

Semantics of inheritance In logical object specifications

inferred← citeshttps://doi.org/10.1007/3-540-55613-3_12openalex-snapshot

Abstract description of distributed object systems

inferred← citeshttps://doi.org/10.1007/978-0-387-35264-0_8openalex-snapshot

Towards a Compositional Interpretation of Object Diagrams

inferred← citeshttps://doi.org/10.1007/978-3-540-74792-5_5openalex-snapshot

Rebeca: Theory, Applications, and Tools

inferred← citeshttps://doi.org/10.1007/978-3-663-07678-0_5openalex-snapshot

Performanzorientiertes Parsing und Grammatik-Design — das Parse Talk-System

inferred← citeshttps://doi.org/10.1007/978-3-7091-6531-7_9openalex-snapshot

On the algebraic specification of classes and inheritance in object-oriented programming

inferred← citeshttps://doi.org/10.1007/bf02939524openalex-snapshot

The structure and semantics of an object-oriented logic programming language: SCKE

inferred← citeshttps://doi.org/10.1007/bfb0053044openalex-snapshot

ACTS: A type system for object-oriented programming based on abstract and concrete classes

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/s10270-020-00780-yopenalex-snapshot

A model-based architecture for interactive run-time monitoring

inferred← citeshttps://doi.org/10.1016/0020-0190(93)90141-uopenalex-snapshot

Models for the substitution axiom of UNITY logic

inferred← citeshttps://doi.org/10.1016/0164-1212(93)90013-nopenalex-snapshot

On the notion of object

inferred← citeshttps://doi.org/10.1016/0304-3975(93)90067-4openalex-snapshot

Equivalence of computations in actor grammars

inferred← citeshttps://doi.org/10.1016/0304-3975(94)00037-jopenalex-snapshot

Divergence of F⩽ type checking

inferred← citeshttps://doi.org/10.1016/0950-5849(94)00013-iopenalex-snapshot

A structured specification of an active database system

inferred← citeshttps://doi.org/10.1016/0950-5849(95)90929-oopenalex-snapshot

Type safety and behavioural inheritance

inferred← citeshttps://doi.org/10.1016/j.cl.2016.01.004openalex-snapshot

Statistical model checking of Timed Rebeca models

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.scico.2010.09.006openalex-snapshot

Incremental reasoning with lazy behavioral subtyping for multiple inheritance

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.2011.12.019openalex-snapshot

Preface

inferred← citeshttps://doi.org/10.1016/s0167-6423(96)00025-1openalex-snapshot

Categorical semantics of parallel program design

inferred← citeshttps://doi.org/10.1017/s0956796800001490openalex-snapshot

A unifying type-theoretic framework for objects

inferred← citeshttps://doi.org/10.1017/s0960129500001420openalex-snapshot

Sheaf semantics for concurrent interacting objects

inferred← citeshttps://doi.org/10.1023/a:1011269103179openalex-snapshot

Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

inferred← citeshttps://doi.org/10.1093/comjnl/44.5.448openalex-snapshot

Extending CORBA Interfaces with Protocols

inferred← citeshttps://doi.org/10.1109/hicss.1995.375665openalex-snapshot

Policy resolution for workflow management systems

inferred← citeshttps://doi.org/10.1109/ictta.2006.1684975openalex-snapshot

A Logical Framework to Prove Inheritance Properties for Concurrent Objects

inferred← citeshttps://doi.org/10.1109/iwrsp.1992.243915openalex-snapshot

Producing prototypes from CO-OPN specifications

inferred← citeshttps://doi.org/10.1109/jcit.1990.128290openalex-snapshot

Software uncertainty and the role of CASE in its minimisation and control

inferred← citeshttps://doi.org/10.1115/1.4070883openalex-snapshot

Effects of Functional and Declarative Modeling Frameworks on System Simulation

inferred← citeshttps://doi.org/10.1533/9781782420613.17openalex-snapshot

Design Patterns and their Role in Formal Object-oriented Development

inferred← citeshttps://doi.org/10.26686/wgtn.17012642openalex-snapshot

Object Cloning for Ownership Systems

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.