Class refinement as semantics of correct object substitutability
type: Item
instance of: scholarly article
title: Class refinement as semantics of correct object substitutability
zbMATH Open document ID: 0963.68103
author: Ralph-Johan Back
author: Anna Mikhajlova
author: Joakim von Wright
published in: Formal Aspects of Computing
publication date: 2000-11-14T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1530333
zbMATH Keywords: code inheritance
zbMATH Keywords: behavioural compatibility
zbMATH Keywords: object substitutability
zbMATH Keywords: semantics of object-oriented constructs
zbMATH Keywords: semantic constraints
describes a project that uses: TkWinHOL
describes a project that uses: PVS
MaRDI profile type: Publication
full work available at URL: s001650070034
OpenAlex ID: W2074923340
DOI: 10.1007/S001650070034
description: scientific article; zbMATH DE number 1530333