Object inheritance beyond subtyping

No abstract is available for this paper.

• Publication year

  1994

• Venue

  Acta Informatica

• Publication date

  1994-01-02

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/BF01178920
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Progress assumption in concurrent systems

  2005cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• Recent Trends in Data Type Specification

  1994cited by this paper
• Object Interaction

  1992cited by this paper
• The Reification Dimension in Object-oriented Data Base Design

  1992cited by this paper
• The O2 system

  1991cited by this paper
• The GemStone object database management system

  1991cited by this paper
• Objects and their Specification

  1991cited by this paper
• Types as theories

  1991cited by this paper
• Formal Specification of Object Systems

  1991cited by this paper
• Semantice of Inheritance in Logical Object Specifications

  1991cited by this paper
• What is an Object, After All?

  1990cited by this paper
• From Data Types to Object Types

  1990cited by this paper
• Proof-Theoretic Semantics of Object-Oriented Specification Constructs

  1990cited by this paper
• Abstract and concrete categories

  1990cited by this paper
• A Categorial Theory of Objects as Observed Processes

  1990cited by this paper
• Algebraic Implementation of Objects over Objects

  1989cited by this paper
• Learning the language

  1989cited by this paper
• The Basic Building Blocks of Information Systems

  1989cited by this paper
• Iris: An Object-Oriented Database Management System

  1989cited by this paper
• 物件導向軟體之架構(Object-Oriented Software Construction)探討

  1989cited by this paper
• A fully abstract trace model for dataflow networks

  1989cited by this paper
• Object-Oriented Concepts, Databases, and Applications

  1989cited by this paper
• An introduction to event structures

  1988cited by this paper
• Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

  1988cited by this paper
• General object-oriented software development

  1986cited by this paper
• The C++ Programming Language, First Edition

  1986cited by this paper
• A model and proof system for asynchronous networks

  1985cited by this paper
• Synchronization Trees

  1984cited by this paper
• Smalltalk-80: The Language and Its Implementation

  1983cited by this paper
• SIMULA 67 common base language, (Norwegian Computing Center. Publication)

  1968cited by this paper
• Sources and Sinks

  1921cited by this paper

• Composing Multi-Resource Systems by Category Theory

  2010cites this paper
• Technical Annex Logcomp{ Logic and Computation

  year unknowninfluential citation