A behavioral notion of subtyping

No abstract is available for this paper.

• Publication year

  1994

• Venue

  ACM Transactions on Programming Languages and Systems

• Publication date

  1994-11-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/197320.197383
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Modular Reasoning in an Object-Oriented Refinement Calculus

  1992cited by this paper
• An object-oriented refinement calculus with modular reasoning

  1992cited by this paper
• A foundation for the model theory of abstract data types with mutation and aliasing (preliminary ver

  1992cited by this paper
• Family Values: A Semantic Notion of Subtyping

  1992cited by this paper
• Subtyping for Mutable Types in Object-Oriented Programming Languages

  1992influential reference
• Inheritance in Object-Oriented Z

  1991cited by this paper
• Systems programming in modula-3

  1991influential reference
• Modular specification and verification of object-oriented programs

  1991influential reference
• Reasoning about object-oriented programs that use subtypes

  1990influential reference
• Programming from specifications

  1990cited by this paper
• A parallel object-oriented language with inheritance and subtyping

  1990cited by this paper
• Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented!

  1990cited by this paper
• An Algebraic Model of Subtype and Inheritance

  1990cited by this paper
• Designing an Object-Oriented Programming Language with Behavioural Subtyping

  1990cited by this paper
• Verifying object-oriented programs that use subtypes

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

  1989cited by this paper
• Object-Z: An Object-Oriented Extension to Z

  1989cited by this paper
• An Overview of LP, The Larch Power

  1989cited by this paper
• Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics

  1987cited by this paper
• Distrbution and Abstract Types in Emerald

  1987cited by this paper
• Development and Implementation of an Object-Oriented DBMS

  1987cited by this paper
• Using Types and Inheritance in Object-Oriented Programming

  1987cited by this paper
• An introduction to Trellis/Owl

  1986cited by this paper
• Abstraction and Specification in Program Development

  1986cited by this paper
• The Larch Family of Specification Languages

  1985cited by this paper
• CLU Reference Manual

  1984cited by this paper
• A Semantics of Multiple Inheritance

  1984influential reference
• A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS

  1983cited by this paper
• Database description with SDM

  1981cited by this paper
• TOWARDS A THEORY FOR ABSTRACT DATA TYPES

  1980cited by this paper
• The C Programming Language

  1978influential reference

• History-Based Reasoning about Behavioral Subtyping (extended paper)

  2026cites this paper
• Semantic Reflection and Digital Twins: A Comprehensive Overview

  2025cites this paper
• Modeling and Analysis of System Models with Constraints in SysMLv2

  2025cites this paper
• Understanding Architectural Complexity, Maintenance Burden, and Developer Sentiment -A Large-Scale Study

  2025cites this paper
• Makina: A QuickCheck state machine library

  2025cites this paper
• Sorted collection and map types for OCL

  2025cites this paper
• Liberating Merges via Apartness and Guarded Subtyping

  2025cites this paper
• Reasoning about Substitutability at the Level of JVM Bytecode

  2025cites this paper
• Educational Insights from Code: Mapping Learning Challenges in Object-Oriented Programming through Code-Based Evidence

  2025cites this paper
• On the State of Coherence in the Land of Type Classes

  2025cites this paper
• Ontology-Based Business Processes Gap Analysis

  2025cites this paper
• Reasoning about External Calls

  2025cites this paper
• Design and Application of the BMFCP Architecture in Flight Simulation Systems

  2025cites this paper
• Symmetry in Software Platforms as an Architectural Principle

  2025cites this paper
• Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software

  2025cites this paper
• Navigating the Python Type Jungle

  2025cites this paper
• Adjusted Objects: An Efficient and Principled Approach to Scalable Programming

  2025cites this paper
• A Sound and Complete Characterization of Fair Asynchronous Session Subtyping

  2025cites this paper
• Fair Termination of Asynchronous Binary Sessions

  2025cites this paper
• Modular Reasoning about Global Variables and Their Initialization

  2025cites this paper
• SOLID principles of object-oriented programming in optical simulation of a high-NA microscope system

  2024cites this paper
• Use Site Checking Considered Harmful

  2024cites this paper
• Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety

  2024cites this paper
• Extending the Object-Capability Model with Fine-Grained Type-Based Capabilities

  2024cites this paper
• Definición De Una Gramática Para El Léxico Extendido Del Lenguaje

  2024cites this paper
• Constrictor: Immutability as a Design Concept (Artifact)

  2024cites this paper
• Contract Automata: A Specification Language for Mode-Based Systems

  2024influential citation
• Deciding Subtyping for Asynchronous Multiparty Sessions

  2024cites this paper
• Towards a Model-Based Systems Engineering Framework for the Design and Configuration of Communication Networks in a Data-Driven and Interconnected Aircraft Cabin

  2024cites this paper
• iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns

  2024cites this paper
• Flattening subtyping by eta expansion

  2024cites this paper
• Reproducibility in automated chemistry laboratories using computer science abstractions

  2024influential citation
• Schematic Program Proofs with Abstract Execution

  2024cites this paper
• Unification of automated trading systems using the principle of interface segregation

  2024cites this paper
• Using OCL for verified re-engineering

  2024cites this paper
• Mediation-Based MLM in USE

  2024cites this paper
• FMMLx and DLM -- A Contribution to the MULTI Collaborative Comparison Challenge

  2024cites this paper
• Exploring Language Model's Code Generation Ability with Auxiliary Functions

  2024cites this paper
• Misconceptions about Potency-Based Deep Instantiation

  2024cites this paper
• Beyond Human and Machine: An Architecture and Methodology Guideline for Centaurian Design

  2024cites this paper
• A refinement-based approach to safe smart contract deployment and evolution

  2024influential citation
• On Formal Methods Thinking in Computer Science Education

  2024cites this paper
• Validity Frame–enabled model-based engineering processes

  2023cites this paper
• Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems

  2023cites this paper
• Verification of mutable linear data structures and iterator-based algorithms in Dafny

  2023cites this paper
• Enhancements in formal process description by using a formal method

  2023cites this paper
• A type language for distributed reactive components governed by communication protocols

  2023cites this paper
• Exploring Different Psychological Processes in a Media Intervention That Reduces Dehumanization Towards Muslims

  2023cites this paper
• Design Pattern for Reusing Immutable Methods in Object-Oriented Languages

  2023cites this paper
• Using MDE with the Clean Architecture

  2023cites this paper
• Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection

  2023cites this paper
• Clabject Typing in MLM – the Double Life of a Clabject: A Position Paper

  2023cites this paper
• Context-aware Trace Contracts

  2023cites this paper
• Lightweight precise automatic extraction of exception preconditions in java methods

  2023cites this paper
• The Consensus Machine: Formalising Consensus in the Presence of Malign Agents

  2023cites this paper
• ACER: An AST-based Call Graph Generator Framework

  2023cites this paper
• Safe evolution of smart contracts

  2023cites this paper
• Software design analysis and technical debt management based on design rule theory

  2023cites this paper
• Improving students' code correctness and test completeness by informal specifications

  2023cites this paper
• An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts

  2023influential citation
• On Leveraging Tests to Infer Nullable Annotations

  2023cites this paper
• Subtyping Context-Free Session Types

  2023cites this paper
• Classification-based Static Collection Selection for Java: Effectiveness and Adaptability

  2023cites this paper
• Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications

  2022cites this paper
• What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming

  2022cites this paper
• A Pragmatic Approach to Stateful Partial Order Reduction

  2022cites this paper
• Flexible Correct-by-Construction Programming

  2022cites this paper
• Safe reuse in modelling language engineering using model subtyping with OCL constraints

  2022influential citation
• Varda: A Framework for Compositional Distributed Programming

  2022cites this paper
• SysMD: Towards “Inclusive” Systems Engineering

  2022cites this paper
• What Is Thrown? Lightweight Precise Automatic Extraction of Exception Preconditions in Java Methods

  2022cites this paper
• Detecting Unjustified Assumptions in Subclasses via Elegant Objects Representation

  2022cites this paper
• Smart Agent System for Cyber Nano-Manufacturing in Industry 4.0

  2022cites this paper
• On the adoption and effects of source code reuse on defect proneness and maintenance effort

  2022cites this paper
• Traits for Correct-by-Construction Programming

  2022cites this paper
• Precise Subtyping for Asynchronous Multiparty Sessions

  2022cites this paper
• Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts

  2022cites this paper
• On the Evolution of Inheritance and Delegation Mechanisms and Their Impact on Code Quality

  2022cites this paper
• Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data

  2022cites this paper
• Fair termination of binary sessions

  2022cites this paper
• Lightweight Shape Analysis Based on Physical Types

  2022cites this paper
• Traits: Correctness-by-Construction for Free

  2022influential citation
• Verwirrende Informatik I – Systeme, Informationen, Berechenbarkeit und Daten

  2022cites this paper
• Transitioning from structural to nominal code with efficient gradual typing

  2021cites this paper
• Reframing the Liskov substitution principle through the lens of testing

  2021influential citation
• An Efficient Interaction Protocol Inference Scheme for Incompatible Updates in IoT Environments

  2021cites this paper
• Nutzung bewährten Architekturwissens

  2021cites this paper
• The First Fifteen Years of the Verified Software Project

  2021cites this paper
• Temporal convolutional networks for just-in-time design smells prediction using fine-grained software metrics

  2021cites this paper
• Modular specification and verification of closures in Rust

  2021cites this paper
• Gobra: Modular Specification and Verification of Go Programs (extended version)

  2021cites this paper
• Deconfined Global Types for Asynchronous Sessions

  2021cites this paper
• How much Specification is Enough? Mutation Analysis for Software Contracts

  2021cites this paper
• A study on correlations between architectural smells and design patterns

  2021cites this paper
• Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security

  2021cites this paper
• Automated Evolution of Feature Logging Statement Levels Using Git Histories and Degree of Interest

  2021cites this paper
• Verified Software Units

  2021cites this paper
• Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types

  2021cites this paper
• Bridging Arrays and ADTs in Recursive Proofs

  2021cites this paper
• Refactoring Collections in OCL

  2021influential citation